Skip to content
Tests

Support for TextBlockLiterals #4392

Sign in to view logs

Support for TextBlockLiterals

Support for TextBlockLiterals #4392

Run time

Learn about OS pricing on GitHub Actions
Job Run time
integration-tests (testRunAllWdProofs, ubuntu-latest, 21)
5m 36s
integration-tests (testProveRules, ubuntu-latest, 21)
3m 3s
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
26m 58s
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
1h 0m 53s
unit-tests (ubuntu-latest, 21, key.core)
10m 0s
unit-tests (ubuntu-latest, 21, keyext.ui.testgen)
1m 23s
unit-tests (ubuntu-latest, 21, key.util)
1m 4s
unit-tests (ubuntu-latest, 21, keyext.exploration)
1m 42s
unit-tests (ubuntu-latest, 21, key.ncore.calculus)
48s
unit-tests (ubuntu-latest, 21, key.ncore)
52s
unit-tests (ubuntu-latest, 21, key.core.testgen)
56s
unit-tests (ubuntu-latest, 21, keyext.caching)
1m 48s
unit-tests (ubuntu-latest, 21, keyext.slicing)
2m 44s
unit-tests (ubuntu-latest, 21, key.ui)
1m 41s
unit-tests (windows-latest, 21, key.core)
11m 24s
unit-tests (ubuntu-latest, 21, keyext.isabelletranslation)
1m 26s
unit-tests (ubuntu-latest, 21, key.core.example)
1m 15s
unit-tests (ubuntu-latest, 21, keyext.proofmanagement)
1m 26s
unit-tests (windows-latest, 21, keyext.ui.testgen)
2m 12s
unit-tests (windows-latest, 21, keyext.slicing)
3m 37s
unit-tests (windows-latest, 21, key.util)
1m 41s
unit-tests (windows-latest, 21, keyext.isabelletranslation)
1m 36s
unit-tests (windows-latest, 21, key.ncore)
1m 34s
unit-tests (windows-latest, 21, keyext.proofmanagement)
2m 8s
unit-tests (windows-latest, 21, keyext.caching)
2m 30s
unit-tests (windows-latest, 21, keyext.exploration)
2m 19s
unit-tests (windows-latest, 21, key.ncore.calculus)
1m 57s
unit-tests (windows-latest, 21, key.core.example)
1m 46s
unit-tests (windows-latest, 21, key.ui)
1m 59s
unit-tests (windows-latest, 21, key.core.testgen)
2m 15s
2h 40m 33s