Spaces:
Runtime error
Runtime error
Update Dockerfile
Browse files- Dockerfile +1 -3
Dockerfile
CHANGED
|
@@ -12,9 +12,7 @@ ENV HOME=/home/user \
|
|
| 12 |
WORKDIR $HOME/app
|
| 13 |
|
| 14 |
RUN --mount=type=secret,id=HF_TOKEN,mode=0444,required=true
|
| 15 |
-
RUN
|
| 16 |
-
git init && \
|
| 17 |
-
git remote add origin $(cat /run/secrets/git_repo)
|
| 18 |
RUN git pull origin main
|
| 19 |
RUN pip install gradio
|
| 20 |
ENV GRADIO_SERVER_NAME=0.0.0.0
|
|
|
|
| 12 |
WORKDIR $HOME/app
|
| 13 |
|
| 14 |
RUN --mount=type=secret,id=HF_TOKEN,mode=0444,required=true
|
| 15 |
+
RUN git init && git remote add origin https://github.com/MendelXu/SAN.git
|
|
|
|
|
|
|
| 16 |
RUN git pull origin main
|
| 17 |
RUN pip install gradio
|
| 18 |
ENV GRADIO_SERVER_NAME=0.0.0.0
|