• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

Qiskit / qiskit / 7206929074
87%
main: 88%

Build:
Build:
LAST BUILD BRANCH: jeevan/pr-15560-contd-1
DEFAULT BRANCH: main
Ran 14 Dec 2023 09:51AM UTC
Jobs 1
Files 1265
Run time 3min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

14 Dec 2023 09:28AM UTC coverage: 86.942% (+0.01%) from 86.929%
7206929074

push

github

web-flow
Pin `z3-solver` on macOS VMs (#11408) (#11409) (#11412)

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>
(cherry picked from commit ef21b509a)

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

74210 of 85356 relevant lines covered (86.94%)

92159.82 hits per line

Jobs
ID Job ID Ran Files Coverage
1 7206929074.1 14 Dec 2023 09:51AM UTC 0
86.94
GitHub Action Run
Source Files on build 7206929074
Detailed source file information is not available for this build.
  • Back to Repo
  • e4e44fa7 on github
  • Prev Build on stable/0.46 (#7053599119)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc