CI

Add real checkpoint e2e workflow #100

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lean soundness proofs (D-805)	1m 55s
no_std verifier build	15s
Format (cargo fmt --check)	9s
Doc build + link check	21s
Lint (clippy -D warnings)	22s
Constraint mutation (scoped)	9s
Tests	1m 59s
MSRV (Rust 1.85)	20s
License / SPDX	34s
	6m 4s