|
Repo Added
|
Files
7
|
Badge
README BADGES
|
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 178 | dependabot/github_actions/actions/checkout-6.0.2 | Merge cce437d7f into 23570bb6b | Pull #23 | github |
100.0 |
||
| 177 | main | Upgrade dunolint workflow - Use latest alpha version available - With added support for checking expected binary digest | push | github |
100.0 |
||
| 176 | main | Migrate main ci to setup-dune | push | github |
100.0 |
||
| 175 | main | Transition some workflows from more-ci to setup-dune | push | github |
100.0 |
||
| 174 | main | Update setup-dune sha (fix macos build path issue) | push | github |
100.0 |
||
| 173 | main | Upgrade setup-dune (v2.0.0+patched) | push | github |
100.0 |
||
| 172 | main | Improve default settings for GHA permissions | push | github |
100.0 |
||
| 171 | main | Upgrade setup-dune to v2.0.0+only-packages | push | github |
100.0 |
||
| 170 | main | Remove previous dune.yml experiment - Subsumed by dune-pkg-more-ci | push | github |
100.0 |
||
| 169 | main | Merge pull request #22 from mbarbin/dune-pkg-more-ci Dune pkg more ci | push | github |
100.0 |