Skip to content
Tests

Improved treatment of final fields #2871

Sign in to view logs

Improved treatment of final fields

Improved treatment of final fields #2871

Run time

Learn about OS pricing on GitHub Actions
Job Run time
unit-tests (ubuntu-latest, 21)
22m 54s
unit-tests (ubuntu-latest, 21)
22m 54s
integration-tests (testProveRules, ubuntu-latest, 21)
10m 2s
integration-tests (testProveRules, ubuntu-latest, 21)
10m 2s
unit-tests (windows-latest, 21)
25m 29s
unit-tests (windows-latest, 21)
25m 29s
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
1h 5m 33s
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
1h 5m 33s
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
33m 36s
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
33m 2s
5h 14m 34s