|
Repo Added
|
Files
33
|
Badge
README BADGES
|
push
github
10 of 24 new or added lines in 1 file covered. (41.67%)
1 existing line in 1 file now uncovered.3998 of 5179 relevant lines covered (77.2%)
1.46 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 471 | master | Fix type errors for NumLike (#71) | push | github |
77.2 |
||
| 470 | master | Fix type errors for NumLike (#71) | push | github |
77.23 |
||
| 469 | master | Fix type errors for NumLike (#71) | push | github |
77.23 |
||
| 468 | master | Fix type errors for NumLike (#71) | push | github |
77.04 |
||
| 467 | HEAD | Merge 027b23fe2 into 1c028954e | push | github |
76.5 |
||
| 466 | HEAD | Merge 54a602493 into 1c028954e | push | github |
76.76 |
||
| 465 | master | Move strict optimization with ElemPred later (#72) | push | github |
77.05 |
||
| 464 | HEAD | Merge 2cf4de5ff into 966f65f3c | push | github |
76.89 |
||
| 462 | HEAD | Merge 89d7bb621 into 966f65f3c | push | github |
76.62 |
||
| 461 | master | cache more things in set generation and be more lazy about `explain` (#67) | push | github |
77.42 |