Qiskit
/
qiskit
/
7203236329
/
1
87%
main: 89%
main: 89%
|
Ran
|
Files
1265
|
Run time
25s
|
Badge
Embed ▾
README BADGES
|
coverage: 86.918% (-0.01%) from 86.93%
push
github
web-flowPin `z3-solver` on macOS VMs (#11408) (#11409) We currently use macOS 11.7 images in our CI and CPython 3.8 for the all-optionals test run. `z3-solver` recently released 4.12.3.0, which upped the macOS platform version from 10.16 to 11.7. This in theory should be fine for our VM image, but the pre-built version of CPython 3.8 we have access to was built for an older macOS, so does not match a `macos_11_7_x86_64` platform tag, and forces us to build Z3 from source, often timing out the job. This should have no effect on user machines, which will be typically be using newer versions of Python, or will be able to install from source if required. This CI-only constraint can be relaxed when the version of CPython we use on the macOS VMs supports the 11.7 macOS API version. (cherry picked from commit c865c563b) Co-authored-by: Jake Lishman <jake.lishman@ibm.com>
74181 of 85346 relevant lines covered (86.92%)
92436.95 hits per line
