Repo Added
|
Files
56
|
Badge
README BADGES
|
push
github
1 of 1 new or added line in 1 file covered. (100.0%)
1794 of 1794 relevant lines covered (100.0%)
151.03 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
233 | main | Merge pull request #87 from mbarbin/pplumbing-pkgs Switch to pplumbing split pkgs | push | github |
100.0 |
||
232 | pplumbing-pkgs | Merge 6276404c8 into a07d58418 | Pull #87 | github |
100.0 |
||
231 | pplumbing-pkgs | Merge 2b9941711 into a07d58418 | Pull #87 | github |
100.0 |
||
230 | main | Lint | push | github |
100.0 |
||
229 | main | Rename dir (lint) | push | github |
100.0 |
||
228 | main | Move third party licenses in subdirs | push | github |
100.0 |
||
224 | ppx_deriving_yojson | Merge a34d0c843 into 3ea676a51 | Pull #86 | github |
100.0 |
||
223 | main | Prepare Release | push | github |
100.0 |
||
222 | dunolint-actions | Merge b94ce1e49 into 4e90ff0c3 | Pull #85 | github |
100.0 |
||
220 | dunolint-actions | Merge bc5b9cfc4 into 4e90ff0c3 | Pull #85 | github |
100.0 |