chore: Update Windows CI runners to windows-2022 #21023
fabiomadgemsbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
5s
singletons
4m 37s
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
Annotations
4 errors and 1 warning
|
check-deep-tests / check-deep-tests
Last run of nightly-build.yml did not succeed: https://github.com/dafny-lang/dafny/actions/runs/16076105585
At the time of checking, no fix was underway.
- Please first check https://github.com/dafny-lang/dafny/actions/workflows/nightly-build.yml . If you see any queued or in progress run on nightly-build.yml, just re-run this test once it is finished.- If not, and you are a Dafny developer, please fix the issue by creating a PR with the label [run-deep-tests], have it reviewed and merged, and then trigger the workflow on nightly-build.yml with the URL https://github.com/dafny-lang/dafny/actions/workflows/nightly-build.yml .
With such a label, you can merge a PR even if tests are not successful, but make sure the deeps one are!
If you do not have any clue on how to fix it, at worst you can revert all PRs from the last successful run and indicate the authors they need to re-file their PRs and add the label [run-deep-tests] to their PRs
|
|
integration-tests / test (ubuntu-22.04, 1)
Process completed with exit code 1.
|
|
integration-tests / test (windows-2022, 1)
Process completed with exit code 1.
|
|
integration-tests / test (macos-13, 1)
Process completed with exit code 1.
|
|
singletons
A stable release of a package should not have a prerelease dependency. Either modify the version spec of dependency "System.CommandLine
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
integration-test-results-macos-13-1
Expired
|
1.47 MB |
sha256:327243b3c22035232e59f874c98ab401152d52382e3749993f892c423a54929f
|
|
|
integration-test-results-macos-13-2
Expired
|
1.47 MB |
sha256:5931f6cd3bdbf61770e65aff463e91374fedddafeaf9ae81eb97d787bbe3a815
|
|
|
integration-test-results-macos-13-3
Expired
|
1.47 MB |
sha256:f936fa73ef8b621b56f389da0e71663a865ddebaf5dc88cbfd341176908cb63c
|
|
|
integration-test-results-macos-13-4
Expired
|
1.47 MB |
sha256:81adb2e5f574eccce55ec42eb267246030fcaae50642246bff1c03f3979e39f6
|
|
|
integration-test-results-macos-13-5
Expired
|
1.46 MB |
sha256:b751d43e4cb9b09e80cacb7bebf580d9697fcec72eec6cac0f82bcb21a80856b
|
|
|
integration-test-results-ubuntu-22.04-1
Expired
|
1.47 MB |
sha256:e744b68a2752d18c7ac956cda379b0c033beadd575bab4bf39b7c027645b4cd0
|
|
|
integration-test-results-ubuntu-22.04-2
Expired
|
1.47 MB |
sha256:66b0416e985d28663ed796bf2dbdb341b608b205cb71dbc3c1f58009fd2ba6de
|
|
|
integration-test-results-ubuntu-22.04-3
Expired
|
1.47 MB |
sha256:eb3e31392409623d44fbbf0929a92bbc63235d56a1cbcf374da86689e8779f30
|
|
|
integration-test-results-ubuntu-22.04-4
Expired
|
1.47 MB |
sha256:781e656c831a6b425e2409cc3519f4f7a87b057b9d510802c3cd8e9a2e59a653
|
|
|
integration-test-results-ubuntu-22.04-5
Expired
|
1.46 MB |
sha256:83bd3865ff12d732e34a371d42f51a19be83c8b3dd2484db404c3f2bc805c66d
|
|
|
integration-test-results-windows-2022-1
Expired
|
1.47 MB |
sha256:d0652fa5683f1d064929a534569d8faa813d1d5152d496c1b12650e76584a425
|
|
|
integration-test-results-windows-2022-2
Expired
|
86.5 KB |
sha256:76f58a2366fb040703045ac3d782de9afb473ed1590f524eac63ceceddea9df7
|
|
|
integration-test-results-windows-2022-3
Expired
|
86.9 KB |
sha256:a62259090fcd4744984ba4b21657f80bf486e44875e98e1828cd984ed19f27cf
|
|
|
integration-test-results-windows-2022-4
Expired
|
85.9 KB |
sha256:ce65369e77d441feb3533addf1feb6c34bed5e3f442e11155f3b07ab7db836a4
|
|
|
integration-test-results-windows-2022-5
Expired
|
85.7 KB |
sha256:be17e7d1d44f8ab0a8934d7f0e33cbc5ca4fe29c40e65bc7f9925f421e824ef4
|
|
|
unit-test-results-macos-13
Expired
|
9.91 MB |
sha256:ac34e1f6b01eba95bed5a60c6f770bc2a151063f1565e8cfcec39c273d0c4598
|
|
|
unit-test-results-ubuntu-22.04
Expired
|
9.94 MB |
sha256:6e091c81cfd16bf33d43e6d3b1458e1f1eea926cf8c2a9c0f7bade3257d4e0ec
|
|
|
unit-test-results-windows-2022
Expired
|
9.9 MB |
sha256:58b8aaf8cfe48d7d4297620582b20b3c0a02e5658a2c32eb6506a9319b30d6ee
|
|