Feat: Translate Dafny tests to Rust tests #19068
MikaelMayer
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
msbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
8s
singletons
3m 36s
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
1m 5s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
integration-test-results-ubuntu-20.04-1
Expired
|
1.63 MB |
sha256:23c192fb0152538c50e9da215fa019d973e1d5bfd20dda7e4d491ab37cce3411
|
|
|
integration-test-results-ubuntu-20.04-2
Expired
|
1.63 MB |
sha256:199225c76c5bef479ba52c1e26e2eafa169cc633fb7092e8c7cd7f674aac6036
|
|
|
integration-test-results-ubuntu-20.04-3
Expired
|
1.61 MB |
sha256:f8c4a3c2180b13717944cbfa4f09984e2532ad39101fa413a153ba823935e968
|
|
|
integration-test-results-ubuntu-20.04-4
Expired
|
1.62 MB |
sha256:349b00b6ed4b5f6581267d126299eaa8c43e0b12cd01378d8a4a94e5e3171508
|
|
|
integration-test-results-ubuntu-20.04-5
Expired
|
1.62 MB |
sha256:f79f438f3708a2aa0d10a2b1af8ded5dc0b2dbac1d2a97b0fc60e8137ac0db6d
|
|
|
test-coverage-results
Expired
|
30.3 MB |
sha256:92f5154cad653d32a30f596bb75e7c46702b58f385ad6d852edb762601388f95
|
|
|
unit-test-results-macos-13
Expired
|
9.24 MB |
sha256:6334b4a634786b9147f575bce813d45a6e8b2e9a039f5492971452c266269f19
|
|
|
unit-test-results-ubuntu-20.04
Expired
|
9.27 MB |
sha256:625bd3311e0f235ff43c84ef07896e47eaf02f663d3a49f623aa76b47e8cdfb6
|
|
|
unit-test-results-windows-2019
Expired
|
9.24 MB |
sha256:44f257835980c79b4f5efe6569b2413c13a0add19af104745ee1f5cbbcebecc2
|
|