Skip to content
Correspondence Validation

Coq: re-verify 0 real gaps + fix build/verify from clean; add `just r… #401

Sign in to view logs

Coq: re-verify 0 real gaps + fix build/verify from clean; add `just r…

Coq: re-verify 0 real gaps + fix build/verify from clean; add `just r… #401

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify-proofs (Coq build oracle)
55s
validate-correspondence
24s
property-testing
53s
2m 12s