mbarbin / dunolint / 524

Builds Branch Commit Type Ran Committer Via Coverage
524 main Fix some typos push mbarbin github
100.0
523 vendor-ocaml-merge3 Merge 9a7e0dfd3 into 32ec1c849 Pull #206 web-flow github
100.0
522 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
521 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
97.89
520 main Merge pull request #205 from mbarbin/upgrade-dune-in-ci-3.23.1 Upgrade dune in ci to 3.23.1 push web-flow github
100.0
519 upgrade-dune-in-ci-3.23.1 Merge 73b386de0 into 2cd4572c6 Pull #205 web-flow github
100.0
518 bump-dune-lower-bound Merge be20b0302 into 2cd4572c6 Pull #204 web-flow github
100.0
517 main Clarify invariant on integers not poly refs push mbarbin github
100.0
516 add-cmdlang-to-stdlib Merge 86b3d338e into 148707af1 Pull #203 web-flow github
100.0
515 main Merge pull request #202 from mbarbin/pkg-tweaks Make some libraries internal push web-flow github
100.0
514 pkg-tweaks Merge 899791a1c into 3f9556f59 Pull #202 web-flow github
100.0
513 main Re-apply commit When performing the merge git dropped the part of the revert to the `*-doc.yml` files. Cherry-picking it again fixed it. Original commit below: --- Go back to dune 3.22 for now in the main CI - Pending small fixes and `3.23.1` ... push mbarbin github
100.0
512 main Add an AI-DECLARATION.md file and badge to the project push mbarbin github
100.0
511 main Merge pull request #201 from mbarbin/rework-base-test-dep Remove base/ppx_sexp_value from test directories push web-flow github
100.0
510 rework-base-test-dep Merge 0d2d3d1d6 into f5132b942 Pull #201 web-flow github
100.0