Feat: Translate Dafny tests to Rust tests #19063
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
5s
singletons
3m 31s
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
Annotations
1 error
|
integration-tests / test (ubuntu-20.04, 5)
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
integration-test-results-ubuntu-20.04-1
Expired
|
1.63 MB |
sha256:b0f87240f4e5a017cd655184db8881977af02e9b06ee5ec2e0039f69b2a7e74f
|
|
|
integration-test-results-ubuntu-20.04-2
Expired
|
1.63 MB |
sha256:8fa68d9b1520388cc94ebda2379756af16d2e6df01cb081d45701e18515170dc
|
|
|
integration-test-results-ubuntu-20.04-3
Expired
|
1.61 MB |
sha256:7a2c0d6e229fc4c42e0e19a4e6a5d41531fc4c84d18f4aec78d07723013ad97a
|
|
|
integration-test-results-ubuntu-20.04-4
Expired
|
1.62 MB |
sha256:a6e847e30b45a931550bb614e4f529d9fcf9125ec2bcb9004118bf75eafdee3e
|
|
|
integration-test-results-ubuntu-20.04-5
Expired
|
1.62 MB |
sha256:6c86fbe0c78d4c2deccecbb433642b9073035183c4ac5e71f6ccbe27a1dd43ae
|
|
|
unit-test-results-macos-13
Expired
|
9.24 MB |
sha256:3ef679e2a963f6484573be0a7573b0e2c3e35db7ac337df0e119cfb966e3b1b5
|
|
|
unit-test-results-ubuntu-20.04
Expired
|
9.27 MB |
sha256:48cdc352d5a30384ba9223a6b17d298f70d1c1da81fe6e4a714d09a765b3f685
|
|
|
unit-test-results-windows-2019
Expired
|
9.24 MB |
sha256:ac7b1a4426a2ec8f7c5a9e8b2b60f518c27d940ba44d2ce21fd55f9bbfc9c8e7
|
|