Skip to content

Feat: Translate Dafny tests to Rust tests #19060

Feat: Translate Dafny tests to Rust tests

Feat: Translate Dafny tests to Rust tests #19060

Triggered via pull request September 12, 2024 19:15
Status Failure
Total duration 25m 59s
Artifacts 8
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
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
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
test-coverage-analysis
Fit to window
Zoom out
Zoom in

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:d4eb5ceafe225f986d43e799acf6edc5307bc113e6bbb06fcf55952870e1428e
integration-test-results-ubuntu-20.04-2 Expired
1.63 MB
sha256:72ed49a3a07fb739c89127b1ceeb8fc395b2ad5d214472e679348bf3c771f1ea
integration-test-results-ubuntu-20.04-3 Expired
1.61 MB
sha256:a8d466d156e96d462637470084a457bb61b4b1557f783c8f80a182a57810723e
integration-test-results-ubuntu-20.04-4 Expired
1.62 MB
sha256:105ddef1edf210df3e75649894e60c9988d373bfa7424cec6ec9b2ad911ed26d
integration-test-results-ubuntu-20.04-5 Expired
1.62 MB
sha256:433d838e34881a7c285a8eb306c15c23d7e834c265edeedadcc754ca9e7cae7b
unit-test-results-macos-13 Expired
9.24 MB
sha256:e160c31eb5c5a25ad0e14726be2409808c04bd00dadf4ea525dd76792b0e0f25
unit-test-results-ubuntu-20.04 Expired
9.27 MB
sha256:09d29e3981b43c027ec50e9c566e82323f7fdc41705745d16000b0f3f74c513f
unit-test-results-windows-2019 Expired
9.24 MB
sha256:0a1e14b2ad695e6d1857c5135f48d3a564906c9b15edc720c83634cd76eb5e51