openenv/coding_env

1# Dockerfile for Coding Environment2# Build from repo root:3#   docker build -t coding-env:latest -f envs/coding_env/server/Dockerfile .4 5FROM python:3.11-slim6 7# Set working directory8WORKDIR /app9 10# Install system dependencies11RUN apt-get update && apt-get install -y \12    git \13    curl \14    && rm -rf /var/lib/apt/lists/*15 16# Copy coding_env package17COPY envs/coding_env/ ./envs/coding_env/18 19# Install openenv-core first from PyPI, then coding_env20RUN pip install --no-cache-dir "openenv-core[core]>=0.2.2" && \21    pip install --no-cache-dir ./envs/coding_env/22 23# Environment variables24ENV PYTHONUNBUFFERED=125ENV ENABLE_WEB_INTERFACE=true26 27# Expose port28EXPOSE 800029 30# Health check31HEALTHCHECK --interval=30s --timeout=3s --start-period=5s --retries=3 \32    CMD curl -f http://localhost:8000/health || exit 133 34# Run the server35CMD ["uvicorn", "coding_env.server.app:app", "--host", "0.0.0.0", "--port", "8000"]36