From 69717c63853c958c1729e43893de6c656a6a1e6c Mon Sep 17 00:00:00 2001 From: Kakadu Date: Fri, 28 Feb 2025 18:28:50 +0300 Subject: [PATCH] debugging docker build Signed-off-by: Kakadu --- .github/workflows/docker.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index ba2be1ea1..c8d0e1008 100644 --- a/.github/workflows/docker.yml +++ b/.github/workflows/docker.yml @@ -30,7 +30,10 @@ jobs: - name: Checkout code uses: actions/checkout@v4 - - run: opam install . --yes --deps-only --with-test --with-doc + - run: | + opam install . --depext-only --with-test --with-doc + opam install . --deps-only --with-test --with-doc + - name: List installed packages run: opam list