Fix: Ability to enumerate multisets in the Dafny-to-Rust code generator #19162
MikaelMayermsbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
5s
singletons
3m 34s
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
integration-test-results-ubuntu-20.04-1
Expired
|
1.65 MB |
sha256:e5c726cf8d4f82140ba12ac9950d93c9ca225e601068a6ec5fc2db4a6ed0cfe0
|
|
|
integration-test-results-ubuntu-20.04-2
Expired
|
1.66 MB |
sha256:c4caad03fbcb180a9c624b38db915b46ad0f275813aaccdfebe2d31924e38e20
|
|
|
integration-test-results-ubuntu-20.04-3
Expired
|
1.65 MB |
sha256:25ee44123fd477a963b357b9e7066def8d604d8c35aaa3d1ada33a29e5e30dcf
|
|
|
integration-test-results-ubuntu-20.04-4
Expired
|
1.64 MB |
sha256:19dc63883a53cd50cdacfc8fd65772c993364440cf5e9e1d838248e83954b031
|
|
|
integration-test-results-ubuntu-20.04-5
Expired
|
1.65 MB |
sha256:dfac0423bb702c8c0bc61812c8917a218578e4b6aa791ff97aac5e42a9cd15b1
|
|
|
unit-test-results-macos-13
Expired
|
9.37 MB |
sha256:e8cd78920f08fdef0b55613957c6fed9abffd509093d86d2775e9bd5ebbeafde
|
|
|
unit-test-results-ubuntu-20.04
Expired
|
9.4 MB |
sha256:13859a02c53f52ae87ae1f6567ead13298fa67e2ddecfead80358686421b7842
|
|
|
unit-test-results-windows-2019
Expired
|
9.37 MB |
sha256:f397f210f81171ab31871aeadd3fcd7409a8aa9a7cd8aed046d7240d25cd3c65
|
|