Skip to content

chore: Update Windows CI runners to windows-2022 #21019

chore: Update Windows CI runners to windows-2022

chore: Update Windows CI runners to windows-2022 #21019

Triggered via pull request July 3, 2025 17:20
Status Failure
Total duration 1h 58m 23s
Artifacts 17

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
6s
check-deep-tests / check-deep-tests
integration-tests  /  populate-matrix-dimensions
4s
integration-tests / populate-matrix-dimensions
xunit-tests  /  populate-matrix-dimensions
2s
xunit-tests / populate-matrix-dimensions
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 and 2 warnings
integration-tests / test (macos-13, 4)
Failed to install dotnet, exit code: 1. ./packs/Microsoft.NETCore.App.Host.osx-x64/6.0.36/runtimes/osx-x64/native/singlefilehost: truncated gzip input tar: Error exit delayed from previous errors. dotnet_install: Error: Extraction failed
integration-tests / test (macos-13, 3)
Process completed with exit code 1.
integration-tests / test (macos-13, 4)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.
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:43f60f938b034fb198576e435d4bd2fd002dd2254778d557a85e77663f60ccdd
integration-test-results-macos-13-2 Expired
1.46 MB
sha256:434352c151fa07ab38df1be949480332b1c9241e85f21945c546f6621df104b6
integration-test-results-macos-13-3 Expired
1.47 MB
sha256:7454f3cb923dc9ee091162e1794805d7fd2fa5abbec5172919327cd66a796fa4
integration-test-results-macos-13-5 Expired
1.47 MB
sha256:fb12fa5f7a6eaa45f774bdd8c3bcb28656c42ca08b103f0721d51156d1fc69bc
integration-test-results-ubuntu-22.04-1 Expired
1.47 MB
sha256:6e82d21334d1d957a94550433a621c8522a63781affbd1a76f000872cfdb3270
integration-test-results-ubuntu-22.04-2 Expired
1.46 MB
sha256:c01ddbc05cbed4297e8679be2cce0b3025ebbfd9d33ec483ab362aab09a7b2c2
integration-test-results-ubuntu-22.04-3 Expired
1.47 MB
sha256:79e071aca5133fc4d727798f4a5bde664ac384320319880223195a18ed538036
integration-test-results-ubuntu-22.04-4 Expired
1.47 MB
sha256:355e4b3020003384a29d364a025c933430eeefe696bb4eb61243debf7dd2d41e
integration-test-results-ubuntu-22.04-5 Expired
1.47 MB
sha256:904a5403e0bb03058129cf0f2760c2e007d652dfbe52065a6671ba71e7fe5685
integration-test-results-windows-2022-1 Expired
86 KB
sha256:7a1d1097206b94823f54a336b3cb7c466d3287c1411b0cad94041cdc64785277
integration-test-results-windows-2022-2 Expired
1.46 MB
sha256:550f21d28a01420a8ac8800aae5e0d0829933a5ff4aca8e3bf76bebc9e72f185
integration-test-results-windows-2022-3 Expired
85.7 KB
sha256:d5355042dde0caf64ab4c107e4b9f50df1ad14c97fd7174d5c16f50c81f7f1fb
integration-test-results-windows-2022-4 Expired
87.1 KB
sha256:119ca0366e54a20f8cdfe9cd273bebd17646ca056c2dd104951d41ca06e78c10
integration-test-results-windows-2022-5 Expired
85.6 KB
sha256:270ac76d3de5556f98c543f66ae2fd16b386f785411fca8cb6c3ce6df48fec1c
unit-test-results-macos-13 Expired
9.91 MB
sha256:f1208f6c1f02075317cc978b17e36b3cf4ed91fad526f021054457aa6119db30
unit-test-results-ubuntu-22.04 Expired
9.94 MB
sha256:01dd5fcf62f5294adca6c7527e047de56aff6a37e81b2d8e6b1a0f8dccb27b6b
unit-test-results-windows-2022 Expired
9.9 MB
sha256:8f9b60ffc72e2992822df0dbed2c5dbfc78cdddb7e6cf7f6839f715d2bf8153e