CI

Merge pull request #54 from auths-dev/dev-refactorMain #122

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Capability Audit	1m 0s
Clippy	25s
Test	1m 10s
Check	26s
Lean 4 Proofs	10s
Format	16s
	3m 27s