ci: check OCaml 5.1 as well

RedPRL · Sep 23, 2023 · 6d389b7 · 6d389b7
1 parent b853b8e
commit 6d389b7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ocaml.yaml b/.github/workflows/ocaml.yaml
@@ -10,6 +10,7 @@ jobs:
       matrix:
         include:
           - ocaml-compiler: "ocaml-base-compiler.5.0.0"
+          - ocaml-compiler: "ocaml-base-compiler.5.1.0"
             with-doc: true
     runs-on: ubuntu-latest
     steps: