feat: add teapot-checker to image

2024-11-28 11:07:14 -05:00 · 2024-11-28 11:07:14 -05:00 · 14977dea12
commit 14977dea12
parent c62665bc1a
1 changed files with 2 additions and 2 deletions
--- a/4
+++ b/4
@ -17,8 +17,8 @@ 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 git+https://ghp.ci/https://github.com/BoYanZh/Joint-Teapot --break-system-packages

-# install joj3 & repo-health-checker
-COPY bin/joj3 bin/repo-health-checker /usr/local/bin/
+# install joj3 & repo-health-checker & teapot-checker
+COPY bin/joj3 bin/repo-health-checker bin/teapot-checker /usr/local/bin/

 USER student
 WORKDIR /home/student