ellmau
/
adf-obdd
/
5760386004
88%
|
Ran
|
Jobs
1
|
Files
11
|
Run time
2s
|
Badge
Embed ▾
README BADGES
|
push
github
ellmau11 of 11 new or added lines in 1 file covered. (100.0%)
1231 of 1406 relevant lines covered (87.55%)
1.82 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
81.12 |
-0.02% | lib/src/obdd.rs |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 5760386004.1 | 11 |
87.55 |
GitHub Action Run |
