|
Repo Added
|
Files
210
|
Badge
README BADGES
|
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 419 | main | Lint | push | github |
100.0 |
||
| 417 | upgrade-dunolint-preview | Merge 63fcda565 into 6361b17ce | Pull #120 | github |
100.0 |
||
| 416 | main | Add Dyn and Ordering as standard deps | push | github |
100.0 |
||
| 415 | add-dyn-to-stdlib | Merge 6361b17ce into 7ae34348a | Pull #119 | github |
100.0 |
||
| 414 | main | Merge pull request #118 from mbarbin/initiate-local-stdlib Initiate local stdlib | push | github |
100.0 |
||
| 413 | initiate-local-stdlib | Merge cabac18c3 into d1e217a55 | Pull #118 | github |
100.0 |
||
| 412 | main | Merge pull request #117 from mbarbin/improve-dune-deps-org Improve dune deps org | push | github |
100.0 |
||
| 411 | improve-dune-deps-org | Merge 39f65a8bc into 61d9af34c | Pull #117 | github |
100.0 |
||
| 409 | main | Update changelog | push | github |
100.0 |
||
| 408 | dependabot/github_actions/actions/checkout-6 | Merge 92e2d4e48 into 3baba20dc | Pull #113 | github |
100.0 |