Skip to content
Build and Test

Fix more issues in the Dafny-to-Rust compiler #19558

Sign in to view logs

Fix more issues in the Dafny-to-Rust compiler

Fix more issues in the Dafny-to-Rust compiler #19558

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
7s
singletons
3m 23s
xunit-tests / populate-matrix-dimensions
1s
integration-tests / populate-matrix-dimensions
3s
integration-tests / test (ubuntu-20.04, 1)
20m 55s
integration-tests / test (ubuntu-20.04, 2)
22m 26s
integration-tests / test (ubuntu-20.04, 3)
27m 50s
integration-tests / test (ubuntu-20.04, 4)
25m 46s
integration-tests / test (ubuntu-20.04, 5)
23m 56s
xunit-tests / ubuntu-20.04 (1)
13m 54s
xunit-tests / win (1)
15m 54s
xunit-tests / osx (1)
30m 17s
test-coverage-analysis
0s
3h 4m 32s