|
Repo Added
|
Files
14
|
Badge
README BADGES
|
push
github
479 of 479 relevant lines covered (100.0%)
4.72 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 120 | main | Upgrade setup-dune | push | github |
100.0 |
||
| 118 | main | Merge pull request #22 from mbarbin/investigate-win-ci-issues Attempt to fix offset tests divergence in Windows CI | push | github |
100.0 |
||
| 116 | main | Attempt to fix windows CI | push | github |
100.0 |
||
| 115 | main | Prepare dune-workspace files for CI workflows | push | github |
100.0 |
||
| 114 | main | Upgrade dunolint | push | github |
100.0 |
||
| 113 | main | Fix pr link | push | github |
100.0 |
||
| 112 | main | Prepare changelog | push | github |
100.0 |
||
| 111 | main | Upgrade actions/checkout to v6 in CI | push | github |
100.0 |
||
| 109 | main | Upgrade actions to v6 | push | github |
100.0 |
||
| 107 | main | Merge pull request #21 from mbarbin/test-setup-dune-repkg Try new repkg wip version of setup-dune | push | github |
100.0 |