Dockerfile

FROM docker.io/theostos/rocq-pet-server-mathcomp:9.0

# ===== Copy App =====
WORKDIR /app
COPY app.py /app

EXPOSE 7860
CMD ["bash", "-c", "uvicorn app:app --host 0.0.0.0 --port ${PORT:-7860}"]