attempt to fix CI

zefchain · Jun 5, 2024 · a1b4496 · a1b4496
1 parent b9664bd
commit a1b4496
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -101,7 +101,7 @@ jobs:
       - name: Setup Additional Languages (ocaml)
         uses: ocaml/setup-ocaml@v2
         with:
-          ocaml-compiler: 4.14.x
+          ocaml-compiler: 5.0
           opam-disable-sandboxing: true
 
       - name: Setup Additional Languages (ocaml packages)