services:
  lean4game:
    build: .
    privileged: true # needed to run bubblewrap inside docker
    environment:
      - LEAN4GAME_GITHUB_USER=${LEAN4GAME_GITHUB_USER}
      - LEAN4GAME_GITHUB_TOKEN=${LEAN4GAME_GITHUB_TOKEN}
    ports:
      - "8080:8080"
    volumes:
      - games_data:/app/games

volumes:
  games_data: