|
Repo Added
|
Files
9
|
Badge
README BADGES
|
push
github
508 of 561 relevant lines covered (90.55%)
24.7 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 134 | main | Update README.md | push | github |
90.55 |
||
| 133 | main | Update README.md | push | github |
90.55 |
||
| 131 | bn-d-patch-1 | Merge ffba7dc1c into 819494b96 | Pull #36 | github |
90.55 |
||
| 132 | main | Bump version (#36) | push | github |
90.55 |
||
| 130 | main | Update GitHub Action (#35) * Update gh action * Fix test loc diff * Remove odoc action and update link | push | github |
90.55 |
||
| 129 | gh-action | Merge bf92bf3b7 into 6080aec67 | Pull #35 | github |
90.55 |
||
| 128 | gh-action | Merge 47c11e467 into 6080aec67 | Pull #35 | github |
90.55 |
||
| 124 | main | Add missing loc (#32) | push | github |
90.66 |
||
| 123 | loc | Merge def04caa8 into 6ad4e4404 | Pull #32 | github |
90.66 |
||
| 122 | main | Remove the usage of with_default_loc (#31) | push | github | pending completion |