Merge remote-tracking branch 'origin/main'

This commit is contained in:
mrT23 2025-02-15 11:32:43 +02:00
commit 778d00d1a0
No known key found for this signature in database
GPG key ID: D350490E39D5F5AD

View file

@ -3,7 +3,7 @@ FROM python:3.12 as base
WORKDIR /app
ADD pyproject.toml .
ADD requirements.txt .
RUN pip install . && rm pyproject.toml requirements.txt
RUN pip install --no-cache-dir . && rm pyproject.toml requirements.txt
ENV PYTHONPATH=/app
ADD docs docs
ADD pr_agent pr_agent