|
Repo Added
|
Files
88
|
Badge
README BADGES
|
push
github
10406 of 14314 relevant lines covered (72.7%)
5877.71 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 3070 | master | Update CHANGES.md | push | github |
72.7 |
||
| 3067 | master | Formatting | push | github |
72.71 |
||
| 3066 | master | Bump actions/checkout from 5 to 6 Bumps [actions/checkout](https://github.com/actions/checkout) from 5 to 6. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)... | push | github |
72.94 |
||
| 3065 | master | Update CHANGES.md | push | github |
72.94 |
||
| 3061 | master | chore: format markdown2/generator.ml | push | github |
72.95 |
||
| 3044 | master | Update for dune 3.21 | push | github |
72.95 |
||
| 3037 | master | rename odoc.mld to index.mld | push | github |
72.95 |
||
| 3033 | master | Changelog | push | github |
72.95 |
||
| 3029 | master | Change from pipeline to generators | push | github |
72.95 |
||
| 3028 | master | Add changelog entry | push | github |
72.95 |