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 |
---|---|---|---|---|---|---|---|
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 |
||
117 | main | Merge pull request #8 from mbarbin/setup-dune-automagic Enable setup-dune workflow (experimental) | push | github |
100.0 |
||
116 | setup-dune-automagic | Merge 1ac21b18a into 3a0a93297 | Pull #8 | github |
100.0 |
||
115 | setup-dune-automagic | Merge fc28aed09 into 3a0a93297 | Pull #8 | github |
100.0 |