Skip to content
Tests

Cleanup: Use Standard Tech for Test Fixtures #3365

Sign in to view logs

Cleanup: Use Standard Tech for Test Fixtures

Cleanup: Use Standard Tech for Test Fixtures #3365

Run time

Learn about OS pricing on GitHub Actions
Job Run time
integration-tests (testProveRules, ubuntu-latest, 21)
9m 22s
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
34m 42s
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
1h 7m 7s
unit-tests (ubuntu-latest, 21, key.core)
21m 22s
unit-tests (ubuntu-latest, 21, key.ui)
1m 31s
unit-tests (ubuntu-latest, 21, key.ncore)
59s
unit-tests (ubuntu-latest, 21, keyext.slicing)
6m 30s
unit-tests (ubuntu-latest, 21, key.core.testgen)
2m 6s
unit-tests (ubuntu-latest, 21, key.core.rifl)
1m 19s
unit-tests (ubuntu-latest, 21, keyext.isabelletranslation)
1m 22s
unit-tests (ubuntu-latest, 21, keyext.exploration)
1m 51s
unit-tests (windows-latest, 21, keyext.exploration)
2m 19s
unit-tests (ubuntu-latest, 21, key.ncore.calculus)
49s
unit-tests (windows-latest, 21, keyext.slicing)
7m 23s
unit-tests (ubuntu-latest, 21, key.removegenerics)
1m 18s
unit-tests (ubuntu-latest, 21, key.util)
1m 0s
unit-tests (ubuntu-latest, 21, keyext.caching)
1m 54s
unit-tests (windows-latest, 21, key.ui)
2m 6s
unit-tests (ubuntu-latest, 21, key.core.example)
1m 11s
unit-tests (windows-latest, 21, key.core.example)
1m 43s
unit-tests (windows-latest, 21, key.ncore)
1m 15s
unit-tests (windows-latest, 21, key.core.testgen)
2m 40s
unit-tests (ubuntu-latest, 21, keyext.ui.testgen)
1m 24s
unit-tests (windows-latest, 21, key.core)
23m 30s
unit-tests (windows-latest, 21, keyext.ui.testgen)
1m 53s
unit-tests (windows-latest, 21, key.core.rifl)
1m 51s
unit-tests (windows-latest, 21, key.removegenerics)
1m 47s
unit-tests (windows-latest, 21, key.util)
1m 23s
unit-tests (ubuntu-latest, 21, keyext.proofmanagement)
1m 24s
unit-tests (windows-latest, 21, keyext.caching)
2m 34s
unit-tests (windows-latest, 21, key.ncore.calculus)
1m 15s
unit-tests (windows-latest, 21, keyext.isabelletranslation)
1m 47s
unit-tests (windows-latest, 21, keyext.proofmanagement)
1m 52s
3h 32m 29s