Skip to content

Feat: Translate Dafny tests to Rust tests #19062

Feat: Translate Dafny tests to Rust tests

Feat: Translate Dafny tests to Rust tests #19062

Triggered via pull request September 12, 2024 20:06
Status Cancelled
Total duration 30m 37s
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
11s
check-deep-tests / check-deep-tests
integration-tests  /  populate-matrix-dimensions
10s
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:facfed9c3a0108394782d24726f340fbedbb47bdee607d73f0ee2df198d9cfb7
integration-test-results-ubuntu-20.04-2 Expired
1.63 MB
sha256:45441cd0d2dee0908bba0644b78f9ff6e82c79b24ec4e46dcfbbe0a073a70f99
integration-test-results-ubuntu-20.04-3 Expired
1.61 MB
sha256:42ca8b7b4f524443ab474e870afe61d713335115f9e6235f89142f64a27e8c0b
integration-test-results-ubuntu-20.04-4 Expired
1.62 MB
sha256:3df995683fd38379658bbf32b1c074bdaee7687d48c95b9fdafcfb24730e3fdc
integration-test-results-ubuntu-20.04-5 Expired
1.62 MB
sha256:9cd93ca8a81f31eff36ba2063b9f309abef32c449a8ffa23ad98911cc2f04a8d
unit-test-results-macos-13 Expired
9.24 MB
sha256:4801ad4a2a0e622089da1626d1fd1954ee8fc8f8cda4b82aed26457ca5297122
unit-test-results-ubuntu-20.04 Expired
9.27 MB
sha256:89f00c45d9ef835d0aee24621b9b563c2057e131182fd50e70026d88bac24836
unit-test-results-windows-2019 Expired
9.24 MB
sha256:a6b4a24e003b1bb2ed9a964f49498946ea0dfa5f4f9ab5b063448a5077fd9144