From 9ae305b6ac6cafc978b4b6c5bd6a6a60a5a78d46 Mon Sep 17 00:00:00 2001 From: danyaberezun Date: Fri, 28 Feb 2025 17:53:28 +0100 Subject: [PATCH] add opam init --- .github/workflows/docker.yml | 1 + 1 file changed, 1 insertion(+) 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