|
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>
112779 of 128695 relevant lines covered (87.63%)
1000201.23 hits per line
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 12 |
97.15 |
0.0% | crates/qasm2/src/parse.rs |
| 10 |
73.9 |
-0.41% | crates/circuit/src/parameter/symbol_expr.rs |
| 6 |
92.29 |
-0.51% | crates/qasm2/src/lex.rs |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 29583802132.1 | 950 |
87.63 |
GitHub Action Run |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|