29579117411
88%

Ran 17 Jul 2026 12:40PM UTC

Jobs 1

Files 952

Run time 3min

Badge

Embed ▾

Committed 17 Jul 2026 11:44AM UTC coverage: 87.637% (-0.004%) from 87.641%

Build # 29579117411

Build Type

push

github

Committed by

web-flow

Commit Message

Constrain `z3-solver` in macOS CI (#16602)

The 5.0.0.0 release of `z3-solver` emits a "not supported on this
platform" error in the CI macos-15 ARM runners, even though it
apparently installs.  See gh-16601 for more detail.

Coverage Stats

112913 of 128841 relevant lines covered (87.64%)

998606.76 hits per line

Coverage Regressions

Lines	Coverage	∆	File
20	76.73	-0.81%	crates/transpiler/src/passes/optimize_1q_gates_decomposition.rs
12	97.13	-0.48%	crates/qasm2/src/parse.rs
4	92.29	0.26%	crates/qasm2/src/lex.rs

Jobs

ID	Job ID	Ran	Files	Coverage
1	29579117411.1	17 Jul 2026 12:40PM UTC	952	87.64	GitHub Action Run

Qiskit / qiskit / 29579117411
88%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 29579117411

Qiskit / qiskit / 29579117411 88%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 29579117411

Qiskit / qiskit / 29579117411
88%

README BADGES
x