Use curl instead of wget to install Z3 on macs #12118
doc-tests.yml
on: pull_request
check-deep-tests
/
check-deep-tests
11s
doctests
14m 51s