Repository navigation

ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths #147

Job	Run time
Installation entrypoint controls	4s
MSRV (rust-version in Cargo.toml)	24s
Coverage ledger is honest (--fail-on-incomplete)	2m 32s
cargo test (http,sarif)	1m 30s
cargo doc (no broken intra-doc links)	15s
cargo test (http)	1m 30s
cargo clippy -D warnings	19s
cargo test ()	1m 6s
cargo fmt --check	8s
	7m 48s