|
Repo Added
|
Files
19
|
Badge
README BADGES
|
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 170 | test-setup-dune-repkg | Merge cf76f99ac into 0b52a3907 | Pull #23 | github |
84.29 |
||
| 169 | main | Tweaks | push | github |
84.29 |
||
| 168 | main | Merge pull request #22 from mbarbin/test-no-public-names Remove public names from test libs | push | github |
84.05 |
||
| 167 | test-no-public-names | Merge 300395e1a into eeadab170 | Pull #22 | github |
84.05 |
||
| 166 | main | Rename pkg -> src | push | github |
84.05 |
||
| 165 | main | Merge pull request #21 from mbarbin/pkg-directory-structure Refactor pkg directory structure | push | github |
84.05 |
||
| 164 | pkg-directory-structure | Merge 99f5f8acd into eb5a4a282 | Pull #21 | github |
84.05 |
||
| 163 | main | Merge pull request #20 from mbarbin/reduce-deps Reduce deps | push | github |
84.05 |
||
| 162 | reduce-deps | Merge 62fbc01c0 into 347dba99d | Pull #20 | github |
84.05 |
||
| 161 | reduce-deps | Merge ee33eedf5 into 347dba99d | Pull #20 | github |
84.05 |