From a3f2f67f7a2d881077b5884cbcba81ce3477ba1d Mon Sep 17 00:00:00 2001 From: Kakadu Date: Fri, 28 Feb 2025 18:32:37 +0300 Subject: [PATCH] Fixing docker Signed-off-by: Kakadu --- .github/workflows/docker.yml | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index c8d0e1008..a7b8201c2 100644 --- a/.github/workflows/docker.yml +++ b/.github/workflows/docker.yml @@ -4,15 +4,13 @@ on: branches: - '1.30' - 'i686-cross' - + +env: + OPAMROOT: /home/opam/.opam + OPAMCONFIRMLEVEL: unsafe-yes + jobs: build: - env: - #OCANREN_STATS: yes - # enabling stats required extra link library - OCANREN_DOCS: yes - OPAMROOT: /home/user/.opam - runs-on: ubuntu-24.04 container: image: kakadu18/ocaml:lama