mbarbin / pp-extended / 17

Builds Branch Commit Type Ran Committer Via Coverage
17 main Prepare changelog push mbarbin github
100.0
16 main Fmt opam-repositories in CI and add mbarbin if missing push mbarbin github
100.0
15 main Update changelog push mbarbin github
100.0
14 main List ppxs instead of ppx_jane push mbarbin github
100.0
13 HEAD Prepare changelog for release push mbarbin github
100.0
12 main Prepare changelog for release push mbarbin github
100.0
11 HEAD Prepare changelog push mbarbin github
100.0
10 main Prepare changelog push mbarbin github
100.0
9 main Enable instrumentation in executables and test libraries too push mbarbin github
100.0
8 main Update coveralls badge link push mbarbin github
100.0