some docs

2025-02-08 19:34:06 +01:00
parent cd5870347b
commit 39137f6d0b
1 changed files with 1 additions and 1 deletions
@@ -1,7 +1,7 @@
 services:
  lean4game:
    build: .
-    privileged: true
+    privileged: true # needed to run bubblewrap inside docker
    environment:
      - LEAN4GAME_GITHUB_USER=${LEAN4GAME_GITHUB_USER}
      - LEAN4GAME_GITHUB_TOKEN=${LEAN4GAME_GITHUB_TOKEN}