ci: worship the latest 5.0.0+trunk

RedPRL · Sep 26, 2022 · 0b58be0 · 0b58be0
1 parent ced91ac
commit 0b58be0
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~alpha1"
+          - ocaml-compiler: "ocaml-variants.5.0.0+trunk"
             with-doc: true
     runs-on: ubuntu-latest
     steps: