#!/usr/bin/env bash set -euo pipefail REPORT_DIR="${1:-}" [ -n "$REPORT_DIR" ] || { echo "ERROR: report directory required" >&2; exit 1; } if [ -d coverage ]; then mkdir -p "$REPORT_DIR/coverage" cp -a coverage/. "$REPORT_DIR/coverage/" fi