Skip to content

Use curl instead of wget to install Z3 on macs #21069

Use curl instead of wget to install Z3 on macs

Use curl instead of wget to install Z3 on macs #21069

Triggered via pull request July 10, 2025 17:24
Status Failure
Total duration 1h 49m 14s
Artifacts 19

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
6s
check-deep-tests / check-deep-tests
integration-tests  /  populate-matrix-dimensions
3s
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
1m 9s
test-coverage-analysis
Fit to window
Zoom out
Zoom in

Annotations

1 warning
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:e1400d719fcd6d1e9c0de03b99fd5d4f2cc4c556d97e1e8b90a7c9263292a224
integration-test-results-macos-13-2 Expired
1.47 MB
sha256:98a81636d5a801e21c9ba6fd670cebd9018cc6f85a4ebdbe431a249d1f4e71a7
integration-test-results-macos-13-3 Expired
1.47 MB
sha256:7cb05338a26cb5e9281fdadf8fa749eef5e3213ed4a3e14df8574cdf0626092b
integration-test-results-macos-13-4 Expired
1.47 MB
sha256:086ee4baf75d620cb649088543c6e2c5200e82ef7d219695564b2a0a722c3ce1
integration-test-results-macos-13-5 Expired
1.47 MB
sha256:8aa22d6dd179d93d88f8b66aa5a8f42f58f961e38f7f7ba2d62e2b95b978abe9
integration-test-results-ubuntu-22.04-1 Expired
1.47 MB
sha256:2ca701ebb7144c970cfcd7896c56dfa39a7800543c5d1b4340f99b0fa2d4f17d
integration-test-results-ubuntu-22.04-2 Expired
1.47 MB
sha256:e36af8aa78f2c212a3b980102ba9f5ee9a3a914b944a7a7f2c1d10da9e4ffc40
integration-test-results-ubuntu-22.04-3 Expired
1.47 MB
sha256:ec082981393611c5deb1a25d96bb0a5ee596d755a03a595d174784be11f20005
integration-test-results-ubuntu-22.04-4 Expired
1.47 MB
sha256:95fd1f67a8e13cf8c1a2a347199fce024789a6583951beb2310d9daea38e94b6
integration-test-results-ubuntu-22.04-5 Expired
1.47 MB
sha256:48a68010013abdc163c4063e46d74e2105ba5caf48654c323b4aebfffa610611
integration-test-results-windows-2022-1 Expired
86.2 KB
sha256:b7aab6da76d0317031a55a32f0db453404a9b2c400a114ba7a6ced0c50178217
integration-test-results-windows-2022-2 Expired
85.5 KB
sha256:9c822a17936748057507df07fbc9d9c99b6f0fe1f3ec0874b17a0e364f0f09e9
integration-test-results-windows-2022-3 Expired
1.47 MB
sha256:f6ab641f6e069c82def23a63a9c4762903807fb156306a914226e9ef34cb76be
integration-test-results-windows-2022-4 Expired
1.47 MB
sha256:c6b4e22da9e21eda3ac865a56e5a194bef004ee03c33e92fa706cfa356334791
integration-test-results-windows-2022-5 Expired
86.5 KB
sha256:7e45dcf25c8653b137c1baed69fb93fe91770fe94f5683fae1c9d4fe0b71bedf
test-coverage-results Expired
35.8 MB
sha256:41133babcab5c8024a9a6a8ab6f808e5719468acc88989200fad03f88975e7c3
unit-test-results-macos-13 Expired
9.92 MB
sha256:797713f1e94f7c7148724b2b4691cffeed11748c0fb317081f41d091d4e0c9d2
unit-test-results-ubuntu-22.04 Expired
9.95 MB
sha256:ee4c63fd19971fe436ff6b52eb41eee19b3cc61581e9030af7e0a80331085310
unit-test-results-windows-2022 Expired
9.92 MB
sha256:8258f42c1052eaf322e4f226fbfecf07a0868629b2e86687e2e884fd43a15f27