Skip to content
Correspondence Validation

chore(deps): bump the actions group with 7 updates (#163) #398

Sign in to view logs

chore(deps): bump the actions group with 7 updates (#163)

chore(deps): bump the actions group with 7 updates (#163) #398

Run time

Learn about OS pricing on GitHub Actions
Job Run time
property-testing
51s
validate-correspondence
20s
verify-proofs (Coq build oracle)
24s
1m 35s