chore: Update Windows CI runners to windows-2022 #21006
Triggered via pull request
July 2, 2025 19:12
fabiomadge
Status
Cancelled
Total duration
1h 19m 29s
Artifacts
12
msbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
6s
singletons
4m 32s
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
Annotations
10 errors and 7 warnings
|
integration-tests / test (ubuntu-22.04, 1)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-22.04, 5)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-22.04, 4)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-22.04, 2)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-22.04, 3)
Process completed with exit code 1.
|
|
integration-tests / test (macos-13, 4)
Process completed with exit code 1.
|
|
integration-tests / test (windows-2022, 3)
Process completed with exit code 1.
|
|
integration-tests / test (windows-2022, 4)
Process completed with exit code 1.
|
|
integration-tests / test (macos-13, 3)
Process completed with exit code 1.
|
|
Build and Test
Canceling since a higher priority waiting request for Build and Test-refs/pull/6292/merge exists
|
|
integration-tests / test (ubuntu-22.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-22.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.
|
|
integration-tests / test (ubuntu-22.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-22.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-22.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.
|
|
singletons
A stable release of a package should not have a prerelease dependency. Either modify the version spec of dependency "System.CommandLine
|
|
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.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
integration-test-results-macos-13-1
Expired
|
1.47 MB |
sha256:50b080a61afb3479f3dc01a22e743fbe99e8566bb0dcdf016e6cd76662052fbb
|
|
|
integration-test-results-macos-13-2
Expired
|
1.46 MB |
sha256:67f52933b892b21a9fbdd4d046eec98cc566dc25fdf976d2c84eca6cb6bad449
|
|
|
integration-test-results-macos-13-3
Expired
|
1.47 MB |
sha256:faf5e1a00b9c51815bb91c5e2cf61ff1c481988f7782fad2cd408d93a8bba33f
|
|
|
integration-test-results-macos-13-5
Expired
|
1.47 MB |
sha256:2b25511c60cb020d241e7bb3bf3b4ef9f8a43668e17a493f9a7a87de01bce6af
|
|
|
integration-test-results-windows-2022-1
Expired
|
85.7 KB |
sha256:7062f06479ba87142af684b2ccd989841a037336f4e16e9c488019cf12908573
|
|
|
integration-test-results-windows-2022-2
Expired
|
1.46 MB |
sha256:f5d8e190c7cc1d46d28b54ab1f0dabda7f73fffd3475f77dcfb5025d001eb3dd
|
|
|
integration-test-results-windows-2022-3
Expired
|
90.8 KB |
sha256:335f0a4f1f0021ec0a9afaee7f650ff0072fe08715039330eb25599c9723e797
|
|
|
integration-test-results-windows-2022-4
Expired
|
90.4 KB |
sha256:5f876a252e532c2825cb67c1f7f80c7a0cd2898fafc76a7a54c945ef16a4a3ee
|
|
|
integration-test-results-windows-2022-5
Expired
|
85.6 KB |
sha256:906bc1d8fea9d557c110f4deedafcf13d0a9cf773e7d1043351a0648fd68a672
|
|
|
unit-test-results-macos-13
Expired
|
9.91 MB |
sha256:a13b357275a66867451327b05f415e4f77a8a65d5c23a685f663243548f97885
|
|
|
unit-test-results-ubuntu-22.04
Expired
|
9.94 MB |
sha256:0b6d69609c9808a3cc5fe9b9bad1688af532bcb2fe71afd5f39ccad03d3f053f
|
|
|
unit-test-results-windows-2022
Expired
|
9.9 MB |
sha256:3de163aa16007443d20a30c282699d101085c5dfcb11d9ef5a70c991aa6d9a39
|
|