From 14977dea12bc5c358b9e0e156e9064a45395ac1f Mon Sep 17 00:00:00 2001
From: Boming Zhang <bomingzh@sjtu.edu.cn>
Date: Thu, 28 Nov 2024 11:07:14 -0500
Subject: [PATCH] feat: add teapot-checker to image

---
 Dockerfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 862b2e9..f481901 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -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