|
Repo Added
|
Files
214
|
Badge
README BADGES
|
push
github
9329 of 9329 relevant lines covered (100.0%)
29.66 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 409 | main | Merge pull request #165 from mbarbin/test-dune-constraint Add a constraint preventing new dune for the tests | push | github |
100.0 |
||
| 408 | test-dune-constraint | Merge b269479ec into f1cce7536 | Pull #165 | github |
100.0 |
||
| 406 | main | Improve default settings for GHA permissions | push | github |
100.0 |
||
| 405 | main | Set more-ci default shell to bash | push | github |
100.0 |
||
| 404 | main | Remove workflow subsumed by more-ci | push | github |
100.0 |
||
| 403 | main | Remove workflow merged into more-ci | push | github |
100.0 |
||
| 402 | main | Edit changelog | push | github |
100.0 |
||
| 401 | add-some-getters-setters | Merge e21307305 into ad39941b2 | Pull #163 | github |
100.0 |
||
| 400 | main | Add version in migration guide | push | github |
100.0 |
||
| 399 | main | Prepare release | push | github |
100.0 |