diff --git a/.github/workflows/deploy-branches.yml b/.github/workflows/deploy-branches.yml index 35da200a..990d137f 100644 --- a/.github/workflows/deploy-branches.yml +++ b/.github/workflows/deploy-branches.yml @@ -26,7 +26,7 @@ jobs: run: | sudo apt --assume-yes install opam export OPAMYES=1 - opam init --compiler=ocaml-base-compiler.4.13.1 + opam init --compiler=ocaml-base-compiler.5.0.0 eval $(opam env) make deps make release