Skip to content
Build and Test

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

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 #19163

Re-run triggered October 1, 2024 17:52
@MikaelMayerMikaelMayer
#5803
fix-5802-multiset-bounded-pool
Status Success
Total duration 13m 59s
Artifacts 9

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
9s
check-deep-tests / check-deep-tests
integration-tests  /  populate-matrix-dimensions
0s
integration-tests / populate-matrix-dimensions
xunit-tests  /  populate-matrix-dimensions
0s
xunit-tests / populate-matrix-dimensions
singletons
3m 38s
singletons
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
57s
test-coverage-analysis
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
test-coverage-results Expired
33.6 MB
sha256:4300177710ed477e162dfa02a8af36c2e83f7eec956aa01f5a241c7c571e26ee
unit-test-results-ubuntu-20.04 Expired
9.4 MB
sha256:9d5fc0818c2f327afee69d30fe76c745f6df96bdf67784da0805b49cfc364186