|
Repo Added
|
Files
19
|
Badge
README BADGES
|
push
github
295 of 350 relevant lines covered (84.29%)
2037311.08 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 199 | main | Update CI deps | push | github |
84.29 |
||
| 198 | update-ci-deps | Merge 4340e7687 into a7d46aa3a | Pull #28 | github |
84.29 |
||
| 197 | main | Upgrade dunolint workflow | push | github | pending completion | ||
| 196 | main | Bump setup-dune to v2.0.0+patch-4 and add cache-readonly across repos Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com> | push | github |
84.29 |
||
| 195 | dependabot/github_actions/actions/checkout-6.0.2 | Merge 6422dc297 into f200fadbd | Pull #27 | github |
84.29 |
||
| 194 | main | Migrate main and doc CIs to setup-dune | push | github |
84.29 |
||
| 193 | dependabot/github_actions/actions/checkout-6.0.2 | Merge bcd38f390 into b5ec40e7e | Pull #27 | github |
84.29 |
||
| 192 | main | Transition some workflows from more-ci to setup-dune | push | github |
84.29 |
||
| 191 | main | Update setup-dune sha (fix macos build path issue) | push | github |
84.29 |
||
| 190 | main | Upgrade setup-dune (v2.0.0+patched) | push | github |
84.29 |