Skip to content
Tests

Adding a rule for exactInstance of final types. (fixes #3389) #2842

Sign in to view logs

Adding a rule for exactInstance of final types. (fixes #3389)

Adding a rule for exactInstance of final types. (fixes #3389) #2842

Run time

Learn about OS pricing on GitHub Actions
Job Run time
unit-tests (ubuntu-latest, 21)
23m 23s
unit-tests (ubuntu-latest, 21)
23m 23s
integration-tests (testProveRules, ubuntu-latest, 21)
9m 42s
integration-tests (testProveRules, ubuntu-latest, 21)
9m 42s
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
1h 6m 54s
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
1h 6m 54s
unit-tests (windows-latest, 21)
25m 27s
unit-tests (windows-latest, 21)
25m 47s
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
33m 27s
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
33m 27s
5h 18m 6s