Skip to content
Tests

Generation of Java AST classes #4518

Sign in to view logs

Generation of Java AST classes

Generation of Java AST classes #4518

Run time

Learn about OS pricing on GitHub Actions
Job Run time
integration-tests (testRunAllWdProofs, ubuntu-latest, 21)
5m 18s
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
27m 48s
integration-tests (testProveRules, ubuntu-latest, 21)
2m 48s
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
42m 29s
unit-tests (ubuntu-latest, 21, key.core)
7m 58s
unit-tests (ubuntu-latest, 21, key.ui)
1m 24s
unit-tests (ubuntu-latest, 21, keyext.exploration)
1m 21s
unit-tests (ubuntu-latest, 21, keyext.ui.testgen)
1m 12s
unit-tests (ubuntu-latest, 21, key.core.testgen)
1m 29s
unit-tests (ubuntu-latest, 21, keyext.slicing)
2m 25s
unit-tests (ubuntu-latest, 21, key.util)
50s
unit-tests (ubuntu-latest, 21, keyext.isabelletranslation)
1m 20s
unit-tests (ubuntu-latest, 21, key.core.infflow)
1m 14s
unit-tests (ubuntu-latest, 21, key.core.example)
1m 12s
unit-tests (ubuntu-latest, 21, key.ncore)
43s
unit-tests (windows-latest, 21, keyext.exploration)
1m 59s
unit-tests (ubuntu-latest, 21, key.ncore.calculus)
37s
unit-tests (ubuntu-latest, 21, key.core.wd)
1m 7s
unit-tests (ubuntu-latest, 21, keyext.caching)
1m 31s
unit-tests (windows-latest, 21, key.ui)
1m 39s
unit-tests (windows-latest, 21, key.core)
7m 38s
unit-tests (windows-latest, 21, keyext.isabelletranslation)
1m 39s
unit-tests (windows-latest, 21, key.core.testgen)
2m 0s
unit-tests (windows-latest, 21, keyext.slicing)
3m 16s
unit-tests (windows-latest, 21, key.ncore)
1m 0s
unit-tests (windows-latest, 21, key.core.wd)
1m 23s
unit-tests (windows-latest, 21, keyext.ui.testgen)
1m 45s
unit-tests (windows-latest, 21, key.ncore.calculus)
1m 1s
unit-tests (windows-latest, 21, key.core.example)
1m 32s
unit-tests (ubuntu-latest, 21, keyext.proofmanagement)
1m 15s
unit-tests (windows-latest, 21, keyext.proofmanagement)
1m 50s
unit-tests (windows-latest, 21, keyext.caching)
1m 55s
unit-tests (windows-latest, 21, key.util)
1m 17s
unit-tests (windows-latest, 21, key.core.infflow)
1m 35s
2h 15m 30s