|
Repo Added
|
Files
23
|
Badge
README BADGES
|
push
github
920 of 956 relevant lines covered (96.23%)
11.64 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 113 | main | Upgrade dunolint workflow | push | github |
96.23 |
||
| 112 | 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 |
96.23 |
||
| 110 | main | Enable crs workflow | push | github |
96.23 |
||
| 109 | main | Merge pull request #32 from mbarbin/migrate-main-ci-setup-dune Migrate main and doc CIs to setup-dune | push | github |
96.23 |
||
| 105 | main | Upgrade dunolint workflow - Use latest alpha version available - With added support for checking expected binary digest | push | github |
96.23 |
||
| 104 | main | Improve default settings for GHA permissions | push | github |
96.23 |
||
| 103 | main | Set more-ci default shell to bash | push | github |
96.23 |
||
| 102 | main | Remove workflow merged into more-ci | push | github |
96.23 |
||
| 101 | main | Upgrade dunolint | push | github |
96.23 |
||
| 100 | main | Edit changelog | push | github |
96.23 |