From d8dc84cf2c973ee009fa0598d6f666d9e43d7ed9 Mon Sep 17 00:00:00 2001
From: Kakadu <Kakadu@pm.me>
Date: Fri, 28 Feb 2025 18:37:02 +0300
Subject: [PATCH] FIx CI Docker

Signed-off-by: Kakadu <Kakadu@pm.me>
---
 .github/workflows/docker.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index 8444096cf..472a58e86 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -13,7 +13,7 @@ jobs:
     runs-on: ubuntu-24.04
     container:
       image: kakadu18/ocaml:lama
-      options: --user user
+      #options: --user user
 
     steps:
       - run: opam --version