Fix: Shadowing of output variables in methods in Dafny-to-Rust #20908
MikaelMayermsbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
8s
singletons
4m 41s
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
1m 14s
Annotations
1 warning and 1 notice
|
singletons
A stable release of a package should not have a prerelease dependency. Either modify the version spec of dependency "System.CommandLine
|
|
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 | |
|---|---|---|---|
|
integration-test-results-ubuntu-22.04-1
Expired
|
1.76 MB |
sha256:b8a08e9a5d88577cc013a6db2352d7ca76efab69ccd219147736d8c9dc09acbe
|
|
|
integration-test-results-ubuntu-22.04-2
Expired
|
1.75 MB |
sha256:350471536fc93b20bc6712303f2d9d784bf29f97ea0e65f813ccf2d10dfb9dc1
|
|
|
integration-test-results-ubuntu-22.04-3
Expired
|
1.75 MB |
sha256:8323d4126a5210d7b7a0a3c7b79c2f4f8609cdb892c352f8ffad4711d5adcb30
|
|
|
integration-test-results-ubuntu-22.04-4
Expired
|
1.76 MB |
sha256:a996de0ae3ed9f6f47977f52ebcef8c7312266f42eae724c47a8a7abe662a7b2
|
|
|
integration-test-results-ubuntu-22.04-5
Expired
|
1.76 MB |
sha256:f6c79a4b3ce0dc9c400bddda813c8f08e563dfd5b5045c1ff385d02824fe036c
|
|
|
test-coverage-results
Expired
|
36.3 MB |
sha256:c1d047fde251eebb397f60346c245e5ac0bd1c2ef3bca2cbfdfdec4f04919fad
|
|
|
unit-test-results-macos-13
Expired
|
9.91 MB |
sha256:9dffd958b928f45901f325dfb0f373d96ee328d03114b2d1e75377f86a2d3676
|
|
|
unit-test-results-ubuntu-22.04
Expired
|
9.94 MB |
sha256:095d56449ac50c999e3571f6fd43c931f122f64e32437cfae18338551d737597
|
|
|
unit-test-results-windows-2019
Expired
|
9.9 MB |
sha256:4f48a153be9b54dac8fefbd042f2e270b868e0bb3298f39c4f9acdd91beaa431
|
|