Skip to content
Tests

Tests #4567

Sign in to view logs

Tests

Tests #4567

Run time

Learn about OS pricing on GitHub Actions
Job Run time
integration-tests (testRunAllWdProofs, ubuntu-latest, 21)
5m 40s
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
41m 26s
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
27m 14s
integration-tests (testProveRules, ubuntu-latest, 21)
2m 58s
unit-tests (ubuntu-latest, 21, keyext.caching)
1m 33s
unit-tests (ubuntu-latest, 21, key.util)
56s
unit-tests (ubuntu-latest, 21, key.ncore)
54s
unit-tests (ubuntu-latest, 21, keyext.slicing)
2m 16s
unit-tests (ubuntu-latest, 21, keyext.exploration)
1m 22s
unit-tests (ubuntu-latest, 21, key.ui)
1m 14s
unit-tests (ubuntu-latest, 21, key.core.example)
1m 3s
unit-tests (windows-latest, 21, key.core.wd)
1m 34s
unit-tests (windows-latest, 21, keyext.ui.testgen)
1m 59s
unit-tests (ubuntu-latest, 21, key.core.wd)
1m 5s
unit-tests (ubuntu-latest, 21, key.core)
7m 39s
unit-tests (ubuntu-latest, 21, key.ncore.calculus)
43s
unit-tests (ubuntu-latest, 21, key.core.infflow)
1m 6s
unit-tests (windows-latest, 21, keyext.exploration)
3m 14s
unit-tests (ubuntu-latest, 21, keyext.isabelletranslation)
1m 17s
unit-tests (ubuntu-latest, 21, keyext.proofmanagement)
1m 9s
unit-tests (ubuntu-latest, 21, keyext.ui.testgen)
1m 15s
unit-tests (windows-latest, 21, key.core)
10m 8s
unit-tests (windows-latest, 21, keyext.proofmanagement)
1m 59s
unit-tests (windows-latest, 21, key.ui)
1m 53s
unit-tests (windows-latest, 21, key.util)
1m 27s
unit-tests (windows-latest, 21, keyext.isabelletranslation)
1m 12s
unit-tests (windows-latest, 21, key.ncore.calculus)
1m 4s
unit-tests (windows-latest, 21, key.core.testgen)
2m 20s
unit-tests (windows-latest, 21, key.core.infflow)
1m 33s
unit-tests (windows-latest, 21, keyext.slicing)
2m 58s
unit-tests (windows-latest, 21, key.ncore)
1m 9s
unit-tests (windows-latest, 21, keyext.caching)
2m 5s
unit-tests (ubuntu-latest, 21, key.core.testgen)
1m 27s
unit-tests (windows-latest, 21, key.core.example)
1m 35s
2h 18m 27s