CI

feat: 30s Remotion launch video #122

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Constraint mutation (scoped)	9s
License / SPDX	40s
Lean soundness proofs	1m 52s
no_std verifier build	8s
Doc build + link check	23s
Format (cargo fmt --check)	7s
MSRV (Rust 1.85)	18s
Lint (clippy -D warnings)	17s
Tests	2m 3s
	5m 57s