|
Repo Added
|
Files
61
|
Badge
README BADGES
|
push
github
3830 of 4157 relevant lines covered (92.13%)
40531.97 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 126 | main | Improve default settings for GHA permissions | push | github |
92.13 |
||
| 125 | main | Set more-ci default shell to bash | push | github |
92.13 |
||
| 124 | main | Prepare dune-workspace files for CI workflows | push | github |
92.13 |
||
| 123 | main | Upgrade dunolint | push | github |
92.13 |
||
| 122 | main | Edit changelog | push | github |
92.13 |
||
| 121 | add-dunolint-config | Merge c01afc657 into 07a4f1f12 | Pull #12 | github |
92.13 |
||
| 120 | main | Remove unused dep | push | github |
92.13 |
||
| 119 | main | Merge pull request #11 from mbarbin/reduce-deps Reduce deps | push | github |
92.13 |
||
| 118 | reduce-deps | Merge b17e74f06 into ccb9da732 | Pull #11 | github |
92.13 |
||
| 116 | main | Use Code_error.raise | push | github |
95.09 |