mbarbin / crs / 375

Builds Branch Commit Type Ran Committer Via Coverage
375 main Fix some typos push mbarbin github
100.0
374 main Merge pull request #133 from mbarbin/vendor-merge3-from-gazagnaire Vendor gazagnaire/ocaml-merge3 for the Myers diff computation push web-flow github
100.0
373 vendor-merge3-from-gazagnaire Merge f85da04fd into bf67aa488 Pull #133 web-flow github
100.0
372 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
100.0
371 main Upgrade dune in main CI workflow push mbarbin github
100.0
370 main Remove step causing CI failures push mbarbin github
100.0
368 main Enable 5.5 in CI push mbarbin github
100.0
367 main Prepare file for future 5.5 CI (currently unused) push mbarbin github
100.0
366 main Upgrade deploy-pages (node 24 warning) push mbarbin github
100.0
365 main Fix renamed dune-workspace file in crs CI push mbarbin github
100.0
364 main Upgrade CIs push mbarbin github
100.0
363 main Merge pull request #132 from mbarbin/extend-stdlib-pp-err Extend stdlib pp err push web-flow github
100.0
362 extend-stdlib-pp-err Merge d61a75a58 into 1251ddc9e Pull #132 web-flow github
100.0
361 main Merge pull request #131 from mbarbin/use-mdexp Use mdexp push web-flow github
100.0
360 use-mdexp Merge c593a1cb2 into f9aee66ac Pull #131 web-flow github
100.0