7198837138
88%

Ran 13 Dec 2023 05:46PM UTC

Jobs 1

Files 985

Run time 1min

Badge

Embed ▾

Committed 13 Dec 2023 04:12PM UTC coverage: 87.57% (+0.02%) from 87.554%

Build # 7198837138

Build Type

push

github

Committed by

web-flow

Commit Message

Pin `z3-solver` on macOS VMs (#11408)

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.

Run Details

59783 of 68269 relevant lines covered (87.57%)

282768.67 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	7198837138.1	13 Dec 2023 05:46PM UTC	0	87.57	GitHub Action Run

Source Files on build 7198837138

Detailed source file information is not available for this build.

Qiskit / qiskit / 7198837138
88%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 7198837138

Qiskit / qiskit / 7198837138 88%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 7198837138

Qiskit / qiskit / 7198837138
88%

README BADGES
x