Repo Added
|
Files
3
|
Badge
Embed ▾
README BADGES
|
push
github
42 of 42 relevant lines covered (100.0%)
2.12 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
42 | main | Dedup CI jobs on PRs (+ fmt) | push | mbarbin | github |
100.0 |
|
41 | main | Unwrap README | push | mbarbin | github |
100.0 |
|
39 | main | Merge pull request #1 from mbarbin/split-tests Split tests and configure dev-setup deps | push | web-flow | github |
100.0 |
|
35 | main | Prepare changelog | push | mbarbin | github |
100.0 |
|
34 | main | Use new ppxlib flags to force activating unused items warnings | push | mbarbin | github |
100.0 |
|
33 | main | Add explicit ppxlib dependency This will allow enforcing >= 0.33 in the near future. | push | mbarbin | github |
100.0 |
|
32 | main | Update changelog | push | mbarbin | github |
100.0 |
|
31 | main | Upgrade ci to 5.2 | push | mbarbin | github |
100.0 |
|
30 | main | Upgrade to v0.17 | push | mbarbin | github |
100.0 |
|
29 | main | Update janestreet-bleeding url | push | mbarbin | github |
100.0 |