|
Repo Added
|
Build
56
Last
|
Files
10
|
Badge
README BADGES
|
push
github
245 of 245 relevant lines covered (100.0%)
13.21 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 57 | main | Try new crs-actions version | push | github |
100.0 |
||
| 56 | test-new-crs-actions | Merge 99dd82d77 into cbd59e32e | Pull #15 | github |
100.0 |
||
| 55 | main | Disable dependabot | push | github |
100.0 |
||
| 54 | upgrade-ci-deps | Merge cbd59e32e into fb699ad14 | Pull #14 | github |
100.0 |
||
| 53 | dependabot/github_actions/reviewdog/action-setup-1.5.0 | Merge 9ba1368bf into fb699ad14 | Pull #13 | github |
100.0 |
||
| 52 | main | Upgrade dunolint workflow | push | github |
100.0 |
||
| 51 | dependabot/github_actions/actions/checkout-6.0.2 | Merge 2598a90df into 7fcf6624f | Pull #11 | github |
100.0 |
||
| 50 | 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 |
100.0 |
||
| 49 | main | Enable crs workflow | push | github |
100.0 |
||
| 48 | dependabot/github_actions/actions/checkout-6.0.2 | Merge 371b8e118 into 13a847741 | Pull #11 | github |
100.0 |
![]() |
Badge your Repo: print-tableWe detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.Could not find badge in README. |
|
Embed ▾
README BADGES
|