ci: use OCaml 5.0.0

RedPRL · Dec 16, 2022 · 7ab93a8 · 7ab93a8
1 parent 413e664
commit 7ab93a8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ocaml.yml b/.github/workflows/ocaml.yml
@@ -9,7 +9,7 @@ jobs:
     strategy:
       matrix:
         include:
-          - ocaml-compiler: "ocaml-base-compiler.5.0.0~rc1"
+          - ocaml-compiler: "ocaml-base-compiler.5.0.0"
             with-doc: true
     runs-on: ubuntu-latest
     steps: