|
Repo Added
|
Build
117
Last
|
Files
20
|
Badge
README BADGES
|
push
github
10 of 10 new or added lines in 2 files covered. (100.0%)
899 of 899 relevant lines covered (100.0%)
10.04 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 120 | main | Merge branch 'move-stdlib-tests' | push | github |
100.0 |
||
| 119 | main | Merge branch 'flatten-stdlib' | push | github |
100.0 |
||
| 118 | main | Remove left-over unused var (shellcheck) | push | github |
100.0 |
||
| 117 | main | Disable dependabot | push | github |
100.0 |
||
| 116 | main | Upgrade dunolint workflow | push | github |
100.0 |
||
| 115 | 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 |
||
| 114 | dependabot/github_actions/actions/checkout-6.0.2 | Merge 46613f90f into 3db13d5b5 | Pull #30 | github |
100.0 |
||
| 113 | main | Merge pull request #31 from mbarbin/migrate-main-ci-setup-dune Migrate main ci setup dune | push | github |
100.0 |
||
| 112 | migrate-main-ci-setup-dune | Merge bf2392d20 into f47a0ddb1 | Pull #31 | github |
100.0 |
||
| 111 | dependabot/github_actions/actions/checkout-6.0.2 | Merge 02ceb1d1f into f47a0ddb1 | Pull #30 | github |
100.0 |
![]() |
Badge your Repo: fpath-baseWe 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
|