CI

docs: add explainer site screenshots #120

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
no_std verifier build	16s
Doc build + link check	26s
Tests	2m 1s
Lint (clippy -D warnings)	12s
MSRV (Rust 1.85)	18s
Constraint mutation (scoped)	21s
License / SPDX	41s
Lean soundness proofs	1m 59s
Format (cargo fmt --check)	12s
	6m 26s