CI

Showcase and launch: demo, explainer site, README #62

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Doc build + link check	25s
no_std verifier build	17s
Lint (clippy -D warnings)	18s
Format (cargo fmt --check)	17s
Constraint mutation (scoped)	17s
Lean soundness proofs (D-805)	2m 35s
License / SPDX	30s
Tests	18s
	4m 57s