|
Repo Added
|
Files
47
|
Badge
README BADGES
|
push
github
1637 of 1637 relevant lines covered (100.0%)
13.31 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 156 | main | Enable 5.5 in CI | push | github |
100.0 |
||
| 155 | main | Prepare file for future 5.5 CI (currently unused) | push | github |
100.0 |
||
| 154 | main | Upgrade deploy-pages (node 24 warning) | push | github |
100.0 |
||
| 153 | main | Upgrade CIs | push | github |
100.0 |
||
| 152 | main | Add conflicts for older meta-package This field is already included in the main opam package repository. Adding it here makes it less likely that we'll forget to populate it for later versions. | push | github |
100.0 |
||
| 151 | main | Merge pull request #44 from mbarbin/assorted-fixes Assorted fixes | push | github |
100.0 |
||
| 150 | assorted-fixes | Merge d3077f9f5 into bc7b4fd41 | Pull #44 | github |
100.0 |
||
| 149 | assorted-fixes | Merge cf35b29e1 into bc7b4fd41 | Pull #44 | github |
100.0 |
||
| 147 | main | Prepare changelog | push | github |
100.0 |
||
| 146 | main | Merge pull request #43 from mbarbin/add-tags-in-style Add tags in style | push | github |
100.0 |