Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
26 | main | Fmt opam-repositories in CI and add mbarbin if missing | push | mbarbin | github |
100.0 |
|
25 | main | Upgrade eio to 0.15 | push | mbarbin | github |
100.0 |
|
24 | main | Fix ppx_expect dependency (provider-test) | push | mbarbin | github |
100.0 |
|
23 | HEAD | Prepare changelog | push | mbarbin | github |
100.0 |
|
22 | main | Prepare changelog | push | mbarbin | github |
100.0 |
|
21 | main | Merge pull request #3 from mbarbin/fix-implements-exn Fix `Interface.implements` | push | web-flow | github |
100.0 |
|
19 | fix-implements-exn | Refactor | Pull #3 | mbarbin | github |
100.0 |
|
17 | same-witness | Merge 5c4d51669 into ef44da32d | Pull #1 | web-flow | github |
98.83 |
|
16 | same-witness | Wip | push | mbarbin | github |
98.83 |
|
14 | same-witness | Wip | push | mbarbin | github |
98.83 |
|
13 | main | Tweak | push | mbarbin | github |
100.0 |
|
12 | main | Handle unvisitable bisect_ppx coverage point | push | mbarbin | github |
100.0 |
|
11 | main | Fmt | push | mbarbin | github |
98.4 |
|
9 | main | Prepare changelog | push | mbarbin | github |
98.4 |
|
10 | HEAD | Prepare changelog | push | mbarbin | github |
98.4 |