You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
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:
|