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