every-channel/every.channel
1
0
Fork 0
Code Releases Activity Actions 2

every.channel: sanitized baseline

Browse source
This commit is contained in:
every.channel 2026-02-15 16:17:27 -05:00
commit 897e556bea
No known key found for this signature in database
258 changed files with 74298 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

17
scripts/coverage.sh Executable file
View file

@ -0,0 +1,17 @@
#!/usr/bin/env bash
set -euo pipefail
root="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
cd "${root}"
out_dir="${root}/tmp/coverage"
mkdir -p "${out_dir}"
# Generates an HTML coverage report + a single-line summary.
# (llvm-cov doesn't allow --summary-only together with --html, so we do LCOV + HTML.)
exec nix develop --accept-flake-config -c bash -lc "
set -euo pipefail
cargo llvm-cov --workspace --lcov --output-path '${out_dir}/coverage.lcov'
'${root}/scripts/coverage-summary.sh' '${out_dir}/coverage.lcov' | tee '${out_dir}/summary.txt'
cargo llvm-cov --workspace --html --output-dir '${out_dir}/html'
"