|
Repo Added
|
Build
17
Last
|
Files
18
|
Badge
README BADGES
|
push
github
2203 of 2239 relevant lines covered (98.39%)
15.52 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 48 | main | Enable 5.5 in CI | push | github |
98.39 |
||
| 47 | main | Prepare file for future 5.5 CI (currently unused) | push | github |
98.39 |
||
| 46 | main | Upgrade CIs | push | github |
98.39 |
||
| 45 | main | Apply fmt changes | push | github |
98.39 |
||
| 44 | main | Remove left-over unused var (shellcheck) | push | github |
98.39 |
||
| 43 | main | Upgrade crs-actions | push | github |
98.39 |
||
| 42 | main | Disable comment-crs-in-pr workflow | push | github |
98.39 |
||
| 41 | upgrade-ci-deps | Merge b742db6bc into bea906875 | Pull #12 | github |
98.39 |
||
| 40 | main | Add empty package whose name matches the project - I see some errors during internal `dune-release` steps that are caused by the fact that the opam files is missing. This is a workaround to make things work with little changes. I didn't invest... | push | github |
98.39 |
||
| 39 | main | Prepare changelog | push | github |
98.39 |
![]() |
Badge your Repo: nofunc-keyedWe detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.Could not find badge in README. |
|
Embed ▾
README BADGES
|