From 8d0ee0af037888228fe1209a9688bce9cf26ba5a Mon Sep 17 00:00:00 2001 From: Boming Zhang Date: Sun, 1 Jun 2025 10:14:15 -0400 Subject: [PATCH] ci: install conf-gen from gitea --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index 895bdb7..18ddd05 100644 --- a/Dockerfile +++ b/Dockerfile @@ -17,7 +17,7 @@ RUN sed -i s@/deb.debian.org/@/mirrors.tuna.tsinghua.edu.cn/@g /etc/apt/sources. # TODO: change it to FOCS gitea mirror for deployment RUN pip install --no-cache-dir --break-system-packages \ git+https://ghfast.top/https://github.com/BoYanZh/Joint-Teapot \ - git+https://ghfast.top/https://github.com/joint-online-judge/JOJ3-config-generator + git+ssh://git@focs.ji.sjtu.edu.cn:2222/JOJ/JOJ3-config-generator.git # install joj3 & repo-health-checker & joj3-forge-convert COPY bin/joj3 bin/repo-health-checker bin/joj3-forge-convert /usr/local/bin/