|
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 |
|---|---|---|---|---|---|---|---|
| 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 |
||
| 223 | main | Prepare release | push | github |
100.0 |
||
| 222 | main | Enable 5.5 in CI | push | github |
100.0 |
||
| 221 | main | Prepare configuration of 5.5 CI packages | push | github |
100.0 |
||
| 220 | main | Merge pull request #57 from mbarbin/simplify-some-unused-deps Simplify some unused deps | push | github |
100.0 |
||
| 218 | main | Merge pull request #56 from mbarbin/add-5.4-in-ci Add 5.4 in CI | push | github |
100.0 |
||
| 216 | main | Merge pull request #55 from mbarbin/param-create-deprecation Deprecate `Param.create` | push | github |
100.0 |
||
| 214 | main | Merge pull request #54 from mbarbin/nonempty-list-no-gadt Nonempty list no gadt | push | github |
100.0 |
||
| 212 | main | Upgrade deploy-pages (node 24 warning) | push | github |
100.0 |