mbarbin / cubzzle / 215

Builds Branch Commit Type Ran Committer Via Coverage
215 main Run the tests first and instrumented after that Pragmatically when running locally I have observed that this sequence usually ends up resolving the partial coverage report that otherwise gets generated sometimes. That is a an experimental change... push mbarbin github
84.33
214 main Remove rm step in CI causing dune IO errors - It is no longer clear why we needed this in the first place. It's possible in the long run an improvement would be to avoid caching _build entirely if this is largely superseded by relocatable+dune-ca... push mbarbin github
82.52
213 main Upgrade dune CI to 3.23.1 push mbarbin github
84.33
212 main Enable 5.5 in CI push mbarbin github
84.33
211 main Prepare file for future 5.5 CI (currently unused) push mbarbin github
84.33
210 main Upgrade deploy-pages (node 24 warning) push mbarbin github
84.33
209 main Upgrade CIs push mbarbin github
84.33
208 main Add coverage annotation for post-installed path push mbarbin github
84.33
207 main Update depexts prior to build push mbarbin github
84.09
206 main Edit changelog push mbarbin github
84.09
205 main Prepare release push mbarbin github
84.09
204 main Use build-info for --version push mbarbin github
84.09
203 main Upgrade ocamlformat to 0.29.0 push mbarbin github
84.29
202 main Remove left-over unused var (shellcheck) push mbarbin github
84.29
201 main Merge branch 'flatten-stdlib' push mbarbin github
84.29