|
Repo Added
|
Files
10
|
Badge
README BADGES
|
push
github
164 of 179 relevant lines covered (91.62%)
16.92 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 65 | main | Disable dependabot | push | github |
91.62 |
||
| 63 | main | Improve vscode config | push | github |
91.62 |
||
| 62 | main | Merge pull request #17 from mbarbin/ci-upgrades Ci upgrades | push | github |
91.62 |
||
| 61 | ci-upgrades | Merge af88ba6cb into f0118920c | Pull #17 | github |
91.62 |
||
| 59 | main | Upgrade dunolint workflow | push | github |
91.62 |
||
| 58 | 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 |
91.62 |
||
| 57 | dependabot/github_actions/actions/checkout-6.0.2 | Merge bc50239e3 into ae5a1aeb5 | Pull #15 | github |
91.62 |
||
| 56 | main | Merge pull request #16 from mbarbin/migrate-main-ci-setup-dune Migrate main ci setup dune | push | github |
91.62 |
||
| 55 | migrate-main-ci-setup-dune | Merge 3bef84992 into eeeee170c | Pull #16 | github |
91.62 |
||
| 54 | migrate-main-ci-setup-dune | Merge 4d89d89ba into eeeee170c | Pull #16 | github |
91.62 |