#!/usr/bin/env bash set -euo pipefail REPORT_DIR="${1:-}" [ -n "$REPORT_DIR" ] || { echo "ERROR: report directory required" >&2; exit 1; } COVERAGE_DIR="$REPORT_DIR/coverage" echo "DEBUG[bats-coverage]: CWD=$(pwd)" >&2 echo "DEBUG[bats-coverage]: coverage dir exists? $([ -d coverage ] && echo YES || echo NO)" >&2 if [ -d coverage ]; then echo "DEBUG[bats-coverage]: files in coverage/: $(ls coverage/ 2>/dev/null | wc -l)" >&2 echo "DEBUG[bats-coverage]: coverage/index.html exists? $([ -f coverage/index.html ] && echo YES || echo NO)" >&2 mkdir -p "$COVERAGE_DIR" cp -a coverage/. "$COVERAGE_DIR/" echo "DEBUG[bats-coverage]: copied to $COVERAGE_DIR" >&2 fi echo "DEBUG[bats-coverage]: target $COVERAGE_DIR/index.html exists? $([ -f "$COVERAGE_DIR/index.html" ] && echo YES || echo NO)" >&2 if [ -d "$COVERAGE_DIR" ] && [ ! -f "$COVERAGE_DIR/index.html" ]; then SHA8="${GITHUB_SHA:0:8}" { echo '
' echo "${SHA8}