Repository navigation

Rust CLI Tests

chore: audit-remediation batch — panic/unsafe, CI test-gating + coverage, doc drift #148

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code coverage (llvm-cov)	2m 18s
Test Rust CLI	1m 28s
Verify Lean 4 Proofs	11s
	3m 57s