ci: use OCaml 5.1

RedPRL · Oct 21, 2023 · 922d2d8 · 922d2d8
1 parent c67c8bf
commit 922d2d8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ocaml.yml b/.github/workflows/ocaml.yml
@@ -11,7 +11,7 @@ jobs:
         include:
           - ocaml-compiler: "4.12"
           - ocaml-compiler: "4.14"
-          - ocaml-compiler: "5.0"
+          - ocaml-compiler: "5.1"
             with-doc: true
     runs-on: ubuntu-latest
     steps: