SyncShift/sql-correction-env

1FROM python:3.11-slim2 3# metadata4LABEL name="sql-correction-env"5LABEL version="1.0"6LABEL description="OpenEnv SQL Query Correction RL Environment"7 8WORKDIR /app9 10# install deps first for better layer caching11COPY requirements.txt .12RUN pip install --no-cache-dir -r requirements.txt13 14# copy project15COPY . .16 17# HF Spaces expects port 786018EXPOSE 786019 20# health check so HF Space knows when it's ready21HEALTHCHECK --interval=10s --timeout=5s --start-period=15s --retries=3 \22  CMD python -c "import urllib.request; urllib.request.urlopen('http://localhost:7860/health', timeout=3)"23 24# server:app refers to the root server.py which re-exports app from sql_env.server25CMD ["uvicorn", "server:app", "--host", "0.0.0.0", "--port", "7860", "--workers", "1"]26