|
Repo Added
|
Files
4
|
Badge
README BADGES
|
push
github
199 of 199 relevant lines covered (100.0%)
213441.41 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 127 | main | Upgrade and pin actions/upload-pages-artifact to current v4 | push | github |
100.0 |
||
| 126 | main | Merge pull request #11 from mbarbin/add-dev-opam-pkg Simplify dev dependencies | push | github |
100.0 |
||
| 125 | add-dev-opam-pkg | Merge 7fd6449d4 into 3873d5bf8 | Pull #11 | github |
100.0 |
||
| 124 | main | Apply headache.sh | push | github |
100.0 |
||
| 123 | main | Merge pull request #10 from mbarbin/setup-dune-test-cache Enable testing of [setup-dune/cache] | push | github |
100.0 |
||
| 122 | setup-dune-test-cache | Merge e3322b6c0 into 6df869802 | Pull #10 | github |
100.0 |
||
| 121 | setup-dune-test-cache | Merge 7ea459d29 into 6df869802 | Pull #10 | github |
100.0 |
||
| 120 | dependabot/github_actions/actions/upload-pages-artifact-4 | Merge 15e3354fa into 6df869802 | Pull #9 | github |
100.0 |
||
| 119 | main | Upgrade actions/checkout | push | github |
100.0 |
||
| 118 | main | Sync workflow with external template | push | github |
100.0 |