Skip to content
Build and Test

Fix more issues in the Dafny-to-Rust compiler #19557

Sign in to view logs

Fix more issues in the Dafny-to-Rust compiler

Fix more issues in the Dafny-to-Rust compiler #19557

Triggered via pull request November 20, 2024 20:32
@MikaelMayerMikaelMayer
opened #5926
feat-rust-more-fixes-based-on-newtypes-members
Status Cancelled
Total duration 30m 48s
Artifacts 8

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
4s
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
singletons
53s
singletons
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
test-coverage-analysis
Fit to window
Zoom out
Zoom in

Annotations

2 errors
singletons
Process completed with exit code 2.
integration-tests / test (ubuntu-20.04, 5)
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
integration-test-results-ubuntu-20.04-1
1.67 MB
integration-test-results-ubuntu-20.04-2
1.67 MB
integration-test-results-ubuntu-20.04-3
1.68 MB
integration-test-results-ubuntu-20.04-4
1.67 MB
integration-test-results-ubuntu-20.04-5
1.68 MB
unit-test-results-macos-13
9.51 MB
unit-test-results-ubuntu-20.04
9.54 MB
unit-test-results-windows-2019
9.5 MB