FROM python:3.10 WORKDIR /app COPY ./requirements.txt /app/requirements.txt RUN --mount=type=secret,id=GITHUB_TOKEN,mode=0444,required=true \ if [ -z "$(cat /run/secrets/GITHUB_TOKEN)" ]; then echo "GITHUB_TOKEN is not set"; exit 1; fi && \ sed -i "s/{GITHUB_TOKEN}/$(cat /run/secrets/GITHUB_TOKEN)/g" /app/requirements.txt RUN pip3 install --no-cache-dir -r /app/requirements.txt # User RUN useradd -m -u 1000 user USER user ENV HOME /home/user ENV PATH $HOME/.local/bin:$PATH WORKDIR $HOME RUN mkdir app WORKDIR $HOME/app COPY . $HOME/app EXPOSE 8501 CMD streamlit run app.py \ --server.headless true \ --server.enableCORS false \ --server.enableXsrfProtection false \ --server.fileWatcherType none