Skip to content
Back to pull request #5920

Dafny runtime performance improvements #19540

Sign in to view logs

Dafny runtime performance improvements

Dafny runtime performance improvements #19540

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
4s
singletons
3m 34s
xunit-tests / populate-matrix-dimensions
1s
integration-tests / populate-matrix-dimensions
1s
integration-tests / test (ubuntu-20.04, 1)
23m 23s
integration-tests / test (ubuntu-20.04, 2)
26m 52s
integration-tests / test (ubuntu-20.04, 3)
23m 27s
integration-tests / test (ubuntu-20.04, 4)
28m 22s
integration-tests / test (ubuntu-20.04, 5)
22m 0s
xunit-tests / ubuntu-20.04 (1)
12m 30s
xunit-tests / win (1)
17m 14s
xunit-tests / osx (1)
21m 37s
test-coverage-analysis
1m 1s
3h 0m 6s