|
Ran
|
Jobs
1
|
Files
950
|
Run time
3min
|
Badge
README BADGES
|
push
github
Constrain `z3-solver` in macOS CI (#16602) (#16606) 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. (cherry picked from commit 12f93db07) Co-authored-by: Jake Lishman <jake.lishman@ibm.com>
112769 of 128695 relevant lines covered (87.63%)
996558.05 hits per line
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 10 |
73.9 |
-0.41% | crates/circuit/src/parameter/symbol_expr.rs |
| 8 |
91.52 |
-1.29% | crates/qasm2/src/lex.rs |
| 6 |
96.68 |
-0.47% | crates/qasm2/src/parse.rs |
| 1 |
90.36 |
0.0% | crates/circuit/src/parameter/parameter_expression.rs |
| 1 |
93.88 |
-0.24% | crates/qasm2/src/expr.rs |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 29582245518.1 | 950 |
87.63 |
GitHub Action Run |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|