Skip to content
Tests

Cleanups #2803

Sign in to view logs

Cleanups

Cleanups #2803

Run time

Learn about OS pricing on GitHub Actions
Job Run time
unit-tests (ubuntu-latest, 21)
51s
integration-tests (testProveRules, ubuntu-latest, 21)
1m 0s
unit-tests (windows-latest, 21)
1m 9s
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
50s
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
58s
4m 48s