Skip to content
Build and Test

Feat: Translate Dafny tests to Rust tests #19068

Sign in to view logs

Feat: Translate Dafny tests to Rust tests

Feat: Translate Dafny tests to Rust tests #19068

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
8s
singletons
3m 36s
xunit-tests / populate-matrix-dimensions
1s
integration-tests / populate-matrix-dimensions
1s
xunit-tests / ubuntu-20.04 (1)
11m 49s
xunit-tests / win (1)
18m 24s
xunit-tests / osx (1)
18m 50s
integration-tests / test (ubuntu-20.04, 1)
24m 14s
integration-tests / test (ubuntu-20.04, 2)
23m 41s
integration-tests / test (ubuntu-20.04, 3)
21m 48s
integration-tests / test (ubuntu-20.04, 4)
20m 42s
integration-tests / test (ubuntu-20.04, 5)
24m 58s
test-coverage-analysis
1m 5s
2h 49m 17s