diff --git a/.gitea/scripts/bats-coverage.sh b/.gitea/scripts/bats-coverage.sh index 2529621..8fbc522 100755 --- a/.gitea/scripts/bats-coverage.sh +++ b/.gitea/scripts/bats-coverage.sh @@ -5,7 +5,26 @@ REPORT_DIR="${1:-}" [ -n "$REPORT_DIR" ] || { echo "ERROR: report directory required" >&2; exit 1; } +COVERAGE_DIR="$REPORT_DIR/coverage" + if [ -d coverage ]; then - mkdir -p "$REPORT_DIR/coverage" - cp -a coverage/. "$REPORT_DIR/coverage/" + 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 "${SHA8}