CI

docs: add the demo recording #121

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Tests	2m 7s
Format (cargo fmt --check)	11s
License / SPDX	33s
no_std verifier build	13s
Doc build + link check	30s
Lint (clippy -D warnings)	17s
Constraint mutation (scoped)	21s
Lean soundness proofs	1m 54s
MSRV (Rust 1.85)	23s
	6m 29s