|
Repo Added
|
Files
33
|
Badge
README BADGES
|
push
github
1075 of 1217 relevant lines covered (88.33%)
2769426.01 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 194 | main | Upgrade actions/checkout to v6 in CI | push | github |
88.33 |
||
| 193 | main | Ignore CRs in this vendored module | push | github |
88.33 |
||
| 192 | main | Merge pull request #38 from mbarbin/prepare-ordering Prepare ordering | push | github |
88.33 |
||
| 191 | prepare-ordering | Merge b9552a8d3 into 727966867 | Pull #38 | github |
88.33 |
||
| 190 | main | Merge pull request #37 from mbarbin/prepare-stdlib Preparatory changes to reduce deps further | push | github |
88.45 |
||
| 189 | prepare-stdlib | Merge 2aeadd138 into 8112b8896 | Pull #37 | github |
88.45 |
||
| 188 | main | Merge pull request #36 from mbarbin/import-dune-12982 Import dune 12982 | push | github |
89.46 |
||
| 187 | import-dune-12982 | Merge b315846fe into 2659a0ccd | Pull #36 | github |
89.46 |
||
| 186 | remove-direct-base-dep | Merge eaadc9edc into bd0bb706d | Pull #39 | github |
88.35 |
||
| 185 | prepare-ordering | Merge bd0bb706d into 4bd68a9b6 | Pull #38 | github |
88.35 |