diff --git a/scripts/run-coverage-gate.sh b/scripts/run-coverage-gate.sh new file mode 100755 index 0000000..b20bece --- /dev/null +++ b/scripts/run-coverage-gate.sh @@ -0,0 +1,16 @@ +#!/usr/bin/env bash +# CI-parity coverage gate for local checkpoints and manual runs. +set -euo pipefail + +ROOT="$(cd "$(dirname "$0")/.." && pwd)" +cd "$ROOT" + +if [[ -x "$ROOT/.venv/bin/python" ]]; then + PYTHON="$ROOT/.venv/bin/python" + export PATH="$ROOT/.venv/bin:$PATH" +else + PYTHON=python3 +fi + +"$PYTHON" -m pytest -q +exec bash ./scripts/check-coverage.sh 95