Zach Wentz commited on
Commit
b31c60a
·
1 Parent(s): c7850a8

🤖 Deploy openspiel_env environment - 2025-10-21 19:19:00

Browse files
Files changed (1) hide show
  1. Dockerfile +1 -1
Dockerfile CHANGED
@@ -2,7 +2,7 @@
2
  # Use the pre-built OpenSpiel base image (contains compiled OpenSpiel)
3
  # Built from: docker build -t openspiel-base:latest -f src/envs/openspiel_env/server/Dockerfile.openspiel-base .
4
  # In GitHub Actions, this is overridden to use the GHCR base image
5
- ARG OPENSPIEL_BASE_IMAGE=openspiel-base:latest
6
  FROM ${OPENSPIEL_BASE_IMAGE}
7
 
8
  # Copy OpenEnv core (base image already set WORKDIR=/app)
 
2
  # Use the pre-built OpenSpiel base image (contains compiled OpenSpiel)
3
  # Built from: docker build -t openspiel-base:latest -f src/envs/openspiel_env/server/Dockerfile.openspiel-base .
4
  # In GitHub Actions, this is overridden to use the GHCR base image
5
+ ARG OPENSPIEL_BASE_IMAGE=ghcr.io/meta-pytorch/openenv-openspiel-base:sha-e622c7e
6
  FROM ${OPENSPIEL_BASE_IMAGE}
7
 
8
  # Copy OpenEnv core (base image already set WORKDIR=/app)