Skip to content
Build and Test

Fix: Shadowing of output variables in methods in Dafny-to-Rust #20916

Sign in to view logs

Fix: Shadowing of output variables in methods in Dafny-to-Rust

Fix: Shadowing of output variables in methods in Dafny-to-Rust #20916

Re-run triggered June 24, 2025 21:24
@MikaelMayerMikaelMayer
#6278
fix-6261-shadowing-output-variables
Status Success
Total duration 18m 19s
Artifacts 9

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
9s
check-deep-tests / check-deep-tests
integration-tests  /  populate-matrix-dimensions
2s
integration-tests / populate-matrix-dimensions
xunit-tests  /  populate-matrix-dimensions
2s
xunit-tests / populate-matrix-dimensions
singletons
5m 6s
singletons
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
1m 15s
test-coverage-analysis
Fit to window
Zoom out
Zoom in

Annotations

1 notice
xunit-tests / win (1)
The windows-2019 runner image is being deprecated, consider switching to windows-2022(windows-latest) or windows-2025 instead. For more details see https://github.com/actions/runner-images/issues/12045.

Artifacts

Produced during runtime
Name Size Digest
test-coverage-results Expired
36.3 MB
sha256:6e99af56e8515096503bb980b2a4a28a004547cdaf679cadcc56e35258336725
unit-test-results-windows-2019 Expired
9.9 MB
sha256:56cb06bb35a95ca64404c5dbfe5a8233a18eb81e2c860f985790c1e1f97fb0e7