|
Repo Added
|
Files
96
|
Badge
README BADGES
|
push
github
2492 of 2492 relevant lines covered (100.0%)
159.45 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 368 | main | Enable 5.5 in CI | push | github |
100.0 |
||
| 367 | main | Prepare file for future 5.5 CI (currently unused) | push | github |
100.0 |
||
| 366 | main | Upgrade deploy-pages (node 24 warning) | push | github |
100.0 |
||
| 365 | main | Fix renamed dune-workspace file in crs CI | push | github |
100.0 |
||
| 364 | main | Upgrade CIs | push | github |
100.0 |
||
| 363 | main | Merge pull request #132 from mbarbin/extend-stdlib-pp-err Extend stdlib pp err | push | github |
100.0 |
||
| 362 | extend-stdlib-pp-err | Merge d61a75a58 into 1251ddc9e | Pull #132 | github |
100.0 |
||
| 361 | main | Merge pull request #131 from mbarbin/use-mdexp Use mdexp | push | github |
100.0 |
||
| 360 | use-mdexp | Merge c593a1cb2 into f9aee66ac | Pull #131 | github |
100.0 |
||
| 359 | use-mdexp | Merge d623e0ca2 into f9aee66ac | Pull #131 | github |
100.0 |