Remove macos from more-ci

mbarbin · mbarbin · commit 7494bad2db58 · 2026-01-20T16:17:24.000+01:00
- Now we also have dune-pkg workflows for these based on setup-dune, and the
  more-ci are particularly costly.

We are ready to deprecate the other worklows, left for future work.
diff --git a/.github/workflows/more-ci.yml b/.github/workflows/more-ci.yml
@@ -28,7 +28,6 @@ jobs:
       fail-fast: false
       matrix:
         os:
-          - macos-latest
           - ubuntu-latest
         ocaml-compiler:
           - 5.3.x
