From 39e67645473259ac1589c290c1f2efaf27506e70 Mon Sep 17 00:00:00 2001 From: disconcision Date: Mon, 8 Jul 2024 18:13:25 -0400 Subject: [PATCH] update deploy script --- .github/workflows/deploy_branches.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/deploy_branches.yml b/.github/workflows/deploy_branches.yml index ef58967931..f98fc7449f 100644 --- 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)