|
Repo Added
|
Files
42
|
Badge
README BADGES
|
push
github
1322 of 1322 relevant lines covered (100.0%)
133.33 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 179 | main | Add experimental CI workflows based on setup-dune | push | github |
100.0 |
||
| 178 | dune-pkg-more-ci | Merge b0f1abe25 into 332990d32 | Pull #45 | github |
100.0 |
||
| 177 | main | Merge pull request #44 from mbarbin/more-ci-build-all Add all build target in more-ci | push | github |
100.0 |
||
| 176 | more-ci-build-all | Merge 4a1cd53c1 into f0c686b3b | Pull #44 | github |
100.0 |
||
| 175 | main | Merge pull request #43 from mbarbin/update-ci-packages Update packages selected in the CI workflows | push | github |
100.0 |
||
| 174 | update-ci-packages | Merge e8cb016bd into 8562ed812 | Pull #43 | github |
100.0 |
||
| 173 | update-ci-packages | Merge 80050780e into 8562ed812 | Pull #43 | github |
100.0 |
||
| 172 | update-ci-packages | Merge a552fd1fa into 8562ed812 | Pull #43 | github |
100.0 |
||
| 171 | update-ci-packages | Merge 78bd82e57 into 8562ed812 | Pull #43 | github |
100.0 |
||
| 170 | update-ci-packages | Merge 8ad5e3df4 into 8562ed812 | Pull #43 | github |
100.0 |