diff --git a/.github/actions/build-kind2-macos/action.yml b/.github/actions/build-kind2-macos/action.yml index 87392a398..c57e71c88 100644 --- a/.github/actions/build-kind2-macos/action.yml +++ b/.github/actions/build-kind2-macos/action.yml @@ -29,7 +29,7 @@ runs: run: | echo "::group::Set OCaml compiler variant" wget -qq https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh - echo "~/.local/bin" | sh install.sh + echo -ne "~/.local/bin\nY\n" | sh install.sh opam init --disable-sandboxing --yes --compiler ${{ steps.ocaml-variant.outputs.compiler }} echo "::endgroup::"