Repository navigation

Rust CLI Tests

refactor: migrate repository documentation from Markdown to AsciiDoc #177

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Test Rust CLI	2m 46s
Code coverage (llvm-cov)	1m 51s
Verify Lean 4 Proofs	13s
	4m 50s