Skip to content
Build and Test

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

Sign in to view logs

Use curl instead of wget to install Z3 on macs

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

Triggered via pull request July 10, 2025 17:15
@robin-awsrobin-aws
synchronize #6257
robin-aws:use-curl-instead-of-wget-on-macs
Status Cancelled
Total duration 1h 5m 13s
Artifacts 18

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
7s
check-deep-tests / check-deep-tests
integration-tests  /  populate-matrix-dimensions
5s
integration-tests / populate-matrix-dimensions
xunit-tests  /  populate-matrix-dimensions
2s
xunit-tests / populate-matrix-dimensions
singletons
4m 27s
singletons
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
test-coverage-analysis
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Build and Test
Canceling since a higher priority waiting request for Build and Test-refs/pull/6257/merge exists
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:3931b9ea13f1f6286ce5b85a67532bf80fe7ca86e076aeabe34b95eabcb30d8a
integration-test-results-macos-13-2 Expired
1.47 MB
sha256:1f6c25d583e5c6c15e9f471b937b00a873c9b6f572cab89f2699ffc0e5c20c68
integration-test-results-macos-13-3 Expired
1.47 MB
sha256:9ddbbfcc9abd9fbdacf8b9702cac0b7babfd97d4ce6d5bd05556d21de1b7d9b7
integration-test-results-macos-13-4 Expired
1.47 MB
sha256:d95825b4bc6ffac62f27f46b67a1b46761de10c09041feafbee6d7f4c01aa723
integration-test-results-macos-13-5 Expired
1.47 MB
sha256:aed6a1f1aaa8c6510eb05d71cf65bc8a3a2656d4e90a09f081ce67c43e1d3c44
integration-test-results-ubuntu-22.04-1 Expired
1.47 MB
sha256:81490fb1a2e548408643a1e0b95a9ffda4a5306aee7dd547c272ae158731b6d9
integration-test-results-ubuntu-22.04-2 Expired
1.47 MB
sha256:454711e475002b1c583f2a586a731fd13feefb041a2c4f58b89b035bfafce4c5
integration-test-results-ubuntu-22.04-3 Expired
1.47 MB
sha256:db4739968e04f0cb6eecdebb4935b88165fe1cdfb55da0584aaac0d962be47aa
integration-test-results-ubuntu-22.04-4 Expired
1.47 MB
sha256:d7694b2d4b7f838e61492b358af37528aacbe408395fc526cc06b61bd4c6dc63
integration-test-results-ubuntu-22.04-5 Expired
1.46 MB
sha256:11043c32b99de6b3c00f8f0aab9889b4bfd18e6b61790c5a23b57130411aadc8
integration-test-results-windows-2022-1 Expired
85.9 KB
sha256:21ad20eeb8e4f027d05e38bd9fd71fd4c198d9684751a07727e1ab7c21803a22
integration-test-results-windows-2022-2 Expired
85.4 KB
sha256:2808f74183aa50e41541869552f6bb11e030853137c639cfbfbec90bf90df866
integration-test-results-windows-2022-3 Expired
1.47 MB
sha256:3a538e8653e22c5d701e5fa2402cc24f530cc761735b4d1ecd342996d5073d01
integration-test-results-windows-2022-4 Expired
1.47 MB
sha256:39f6f0948eb33475a7ebc0be01ce11f46e57571359fb142dc8a9b86daecd0d61
integration-test-results-windows-2022-5 Expired
86.9 KB
sha256:f7bf6d4b93174c2972bb212221b0b9ed08fee1d1c5233e33d04272eeb103c677
unit-test-results-macos-13 Expired
9.92 MB
sha256:e821fcf8ec09ea47e6006960e86b3c18b77398ca1df40ceee7000fec4b084523
unit-test-results-ubuntu-22.04 Expired
9.95 MB
sha256:581481cc22c0f807f4eeb0928d94b7684dfb61a92fa69d158b585ef3a04f838c
unit-test-results-windows-2022 Expired
9.92 MB
sha256:2ebe7a33329b8de011abc0c230e98e07b6f45fc61d03f5bb6ce5e732d67b9e46