|
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 |
|---|---|---|---|---|---|---|---|
| 186 | main | Update setup-dune sha (fix macos build path issue) | push | github |
100.0 |
||
| 185 | main | Upgrade setup-dune (v2.0.0+patched) | push | github |
100.0 |
||
| 184 | main | Improve default settings for GHA permissions | push | github |
100.0 |
||
| 183 | main | Move ci-packages to dev target and add conf-jq | push | github |
100.0 |
||
| 179 | main | Add experimental CI workflows based on setup-dune | push | 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 |
||
| 175 | main | Merge pull request #43 from mbarbin/update-ci-packages Update packages selected in the CI workflows | push | github |
100.0 |
||
| 168 | main | Make yml script more portable | push | github |
100.0 |
||
| 167 | main | Prepare dune-workspace files for CI workflows | push | github |
100.0 |
||
| 166 | main | Merge pull request #42 from mbarbin/upgrade-dunolint-preview Upgrade dunolint preview | push | github |
100.0 |