|
Repo Added
|
Files
43
|
Badge
README BADGES
|
push
github
1330 of 1330 relevant lines covered (100.0%)
132.59 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 234 | main | Upgrade CI | push | github |
100.0 |
||
| 233 | upgrade-ci | Merge 817d2157e into 4422af21c | Pull #61 | github |
100.0 |
||
| 232 | main | Upgrade dune in CI | push | github |
100.0 |
||
| 231 | upgrade-dune-3.24.2 | Merge 4422af21c into fbbfb5acb | Pull #60 | github |
100.0 |
||
| 230 | new-cmdliner-in-tests | Merge b70f8e54a into fbbfb5acb | Pull #59 | github |
100.0 |
||
| 227 | main | Upgrade dune CI to 3.23.1 | push | github |
100.0 |
||
| 226 | main | Edit changelog | push | github |
100.0 |
||
| 225 | main | Merge pull request #58 from mbarbin/to-base-remove-ppx Avoid ppxlib direct deps here (simplify) | push | github |
100.0 |
||
| 224 | to-base-remove-ppx | Merge a0edaf9c7 into 263142b8b | Pull #58 | github |
100.0 |
||
| 223 | main | Prepare release | push | github |
100.0 |