Skip to content
Tests

Generation of Java AST classes #4515

Sign in to view logs

Generation of Java AST classes

Generation of Java AST classes #4515

Run time

Learn about OS pricing on GitHub Actions
Job Run time
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
27m 1s
integration-tests (testProveRules, ubuntu-latest, 21)
2m 51s
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
42m 49s
integration-tests (testRunAllWdProofs, ubuntu-latest, 21)
5m 35s
unit-tests (ubuntu-latest, 21, key.core.testgen)
1m 36s
unit-tests (ubuntu-latest, 21, keyext.exploration)
1m 29s
unit-tests (ubuntu-latest, 21, keyext.slicing)
2m 44s
unit-tests (ubuntu-latest, 21, key.core)
9m 45s
unit-tests (ubuntu-latest, 21, keyext.isabelletranslation)
1m 10s
unit-tests (ubuntu-latest, 21, key.ui)
1m 23s
unit-tests (ubuntu-latest, 21, key.ncore)
49s
unit-tests (windows-latest, 21, keyext.ui.testgen)
1m 53s
unit-tests (windows-latest, 21, key.ncore.calculus)
1m 9s
unit-tests (windows-latest, 21, key.util)
1m 22s
unit-tests (windows-latest, 21, key.core.testgen)
2m 7s
unit-tests (windows-latest, 21, keyext.caching)
2m 7s
unit-tests (windows-latest, 21, key.ncore)
1m 26s
unit-tests (ubuntu-latest, 21, key.core.wd)
1m 12s
unit-tests (ubuntu-latest, 21, key.core.example)
1m 3s
unit-tests (windows-latest, 21, key.core)
10m 44s
unit-tests (ubuntu-latest, 21, keyext.ui.testgen)
1m 15s
unit-tests (ubuntu-latest, 21, key.util)
57s
unit-tests (windows-latest, 21, key.core.wd)
1m 59s
unit-tests (windows-latest, 21, key.core.infflow)
1m 43s
unit-tests (windows-latest, 21, key.ui)
2m 0s
unit-tests (ubuntu-latest, 21, keyext.proofmanagement)
1m 15s
unit-tests (ubuntu-latest, 21, keyext.caching)
1m 45s
unit-tests (windows-latest, 21, keyext.exploration)
2m 2s
unit-tests (ubuntu-latest, 21, key.core.infflow)
1m 14s
unit-tests (windows-latest, 21, keyext.slicing)
3m 38s
unit-tests (windows-latest, 21, key.core.example)
1m 37s
unit-tests (ubuntu-latest, 21, key.ncore.calculus)
37s
unit-tests (windows-latest, 21, keyext.proofmanagement)
1m 49s
unit-tests (windows-latest, 21, keyext.isabelletranslation)
1m 51s
2h 23m 57s