#!/usr/bin/env bash
set -euo pipefail
REPORT_DIR="${1:-}"
COVERAGE_DIR="${REPORT_DIR}/coverage"
[ -n "$REPORT_DIR" ] || { echo "ERROR: report directory required" >&2; exit 1; }
if [ -d coverage ]; then
mkdir -p "$COVERAGE_DIR"
cp -a coverage/. "$COVERAGE_DIR/"
fi
if [ -d "$COVERAGE_DIR" ] && [ ! -f "$COVERAGE_DIR/index.html" ]; then
SHA8="${GITHUB_SHA:0:8}"
{
echo ''
echo "Coverage report ${SHA8}"
echo ''
echo "Coverage report ${SHA8}
"
while IFS= read -r -d '' f; do
base=$(basename "$f")
name="${base%.*}"
name="${name//-/ }"
echo "- ${name^}
"
done < <(find "$COVERAGE_DIR" -maxdepth 1 -type f \( -name '*.html' -o -name '*.txt' \) ! -name index.html -print0 2>/dev/null || true)
echo '
'
} > "$COVERAGE_DIR/index.html"
fi