mbarbin / provider / 30

Builds Branch Commit Type Ran Committer Via Coverage
30 main Update changelog push mbarbin github
100.0
29 HEAD Reduce ppx further push mbarbin github
100.0
28 main Reduce ppx further push mbarbin github
100.0
27 main Prepare changelog push mbarbin github
100.0
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