diff --git a/docker-compose.yml b/docker-compose.yml index 4a6337a..fe849f5 100644 --- a/docker-compose.yml +++ b/docker-compose.yml @@ -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}