diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index 472a58e86..b61478639 100644 --- a/.github/workflows/docker.yml +++ b/.github/workflows/docker.yml @@ -17,6 +17,7 @@ jobs: steps: - run: opam --version + - run: opam init - run: opam exec -- ocamlopt --version - name: Cancel Previous Runs