update deploy script

hazelgrove · Jul 8, 2024 · 39e6764 · 39e6764
1 parent 47c49eb
commit 39e6764
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/deploy_branches.yml b/.github/workflows/deploy_branches.yml
@@ -26,7 +26,7 @@ jobs:
         run: |
           sudo apt --assume-yes install curl m4 opam
           export OPAMYES=1
-          opam init --compiler=ocaml-base-compiler.5.0.0
+          opam init --compiler=ocaml-base-compiler.5.2.0
       - name: Install dependencies
         run: |
           eval $(opam env)