Skip to content
Build and Test

Feat: Translate Dafny tests to Rust tests #19063

Sign in to view logs

Feat: Translate Dafny tests to Rust tests

Feat: Translate Dafny tests to Rust tests #19063

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
5s
singletons
3m 31s
xunit-tests / populate-matrix-dimensions
1s
integration-tests / populate-matrix-dimensions
1s
xunit-tests / ubuntu-20.04 (1)
13m 5s
xunit-tests / win (1)
17m 43s
xunit-tests / osx (1)
17m 22s
integration-tests / test (ubuntu-20.04, 1)
24m 50s
integration-tests / test (ubuntu-20.04, 2)
24m 23s
integration-tests / test (ubuntu-20.04, 3)
22m 17s
integration-tests / test (ubuntu-20.04, 4)
20m 54s
integration-tests / test (ubuntu-20.04, 5)
25m 10s
test-coverage-analysis
0s
2h 49m 22s