Skip to content
Build and Test

Fix: Ability to enumerate multisets in the Dafny-to-Rust code generator #19162

Sign in to view logs

Fix: Ability to enumerate multisets in the Dafny-to-Rust code generator

Fix: Ability to enumerate multisets in the Dafny-to-Rust code generator #19162

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
5s
singletons
3m 34s
integration-tests / populate-matrix-dimensions
1s
xunit-tests / populate-matrix-dimensions
1s
xunit-tests / ubuntu-20.04 (1)
13m 23s
xunit-tests / win (1)
21m 47s
xunit-tests / osx (1)
24m 50s
integration-tests / test (ubuntu-20.04, 1)
23m 31s
integration-tests / test (ubuntu-20.04, 2)
27m 49s
integration-tests / test (ubuntu-20.04, 3)
22m 45s
integration-tests / test (ubuntu-20.04, 4)
20m 56s
integration-tests / test (ubuntu-20.04, 5)
24m 5s
test-coverage-analysis
1s
3h 2m 48s