Skip to content

Chore: Dafny to Rust refactorings #18526

Chore: Dafny to Rust refactorings

Chore: Dafny to Rust refactorings #18526

Triggered via pull request June 13, 2024 02:01
Status Failure
Total duration 29m 8s
Artifacts 8

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

5 errors and 1 warning
singletons
Process completed with exit code 2.
integration-tests / test (ubuntu-20.04, 1)
Process completed with exit code 1.
integration-tests / test (ubuntu-20.04, 3)
Process completed with exit code 1.
integration-tests / test (ubuntu-20.04, 2)
Process completed with exit code 1.
integration-tests / test (ubuntu-20.04, 5)
Process completed with exit code 1.
xunit-tests / osx (1)
A brownout will take place on June, 8:00 AM – 2:00 PM EST to raise awareness of the upcoming macOS-11 environment removal.

Artifacts

Produced during runtime
Name Size
integration-test-results-ubuntu-20.04-1
1.64 MB
integration-test-results-ubuntu-20.04-2
1.59 MB
integration-test-results-ubuntu-20.04-3
1.59 MB
integration-test-results-ubuntu-20.04-4
1.57 MB
integration-test-results-ubuntu-20.04-5
1.58 MB
unit-test-results-macos-11
6.5 MB
unit-test-results-ubuntu-20.04
9 MB
unit-test-results-windows-2019
8.97 MB