Skip to content
Build and Test

Fix: Constant initialization in the Dafny-to-Rust code generator #19277

Sign in to view logs

Fix: Constant initialization in the Dafny-to-Rust code generator

Fix: Constant initialization in the Dafny-to-Rust code generator #19277

Triggered via pull request October 17, 2024 15:22
@MikaelMayerMikaelMayer
synchronize #5837
fix-5833-const-initialization
Status Cancelled
Total duration 1h 18m 33s
Artifacts 3

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
10s
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
3m 31s
singletons
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 5 warnings
integration-tests / test (ubuntu-20.04, 1)
Process completed with exit code 100.
integration-tests / test (ubuntu-20.04, 3)
Process completed with exit code 100.
integration-tests / test (ubuntu-20.04, 2)
Process completed with exit code 100.
integration-tests / test (ubuntu-20.04, 4)
Process completed with exit code 100.
integration-tests / test (ubuntu-20.04, 5)
Process completed with exit code 100.
integration-tests / test (ubuntu-20.04, 1)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.
integration-tests / test (ubuntu-20.04, 3)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.
integration-tests / test (ubuntu-20.04, 2)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.
integration-tests / test (ubuntu-20.04, 4)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.
integration-tests / test (ubuntu-20.04, 5)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.

Artifacts

Produced during runtime
Name Size
unit-test-results-macos-13
9.38 MB
unit-test-results-ubuntu-20.04
9.41 MB
unit-test-results-windows-2019
9.37 MB