feat: copy repo-health-checker to image
All checks were successful
push / build (push) Successful in 39s
All checks were successful
push / build (push) Successful in 39s
This commit is contained in:
parent
6b98822821
commit
21ae19df05
|
@ -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 & teapot wrapper
|
||||
COPY bin/joj3 bin/joj3-teapot /usr/local/bin/
|
||||
# install joj3 & repo-health-checker & teapot wrapper
|
||||
COPY bin/joj3 bin/repo-health-checker bin/joj3-teapot /usr/local/bin/
|
||||
|
||||
USER student
|
||||
WORKDIR /home/student
|
||||
|
|
2
Makefile
2
Makefile
|
@ -5,7 +5,7 @@ all: build
|
|||
prepare:
|
||||
git submodule update --init --remote
|
||||
$(MAKE) -C JOJ3
|
||||
cp JOJ3/build/joj3 bin/
|
||||
cp JOJ3/build/joj3 JOJ3/build/repo-health-checker bin/
|
||||
|
||||
force-build: prepare
|
||||
docker build --no-cache -t focs.ji.sjtu.edu.cn:5000/gitea/runner-images:focs-ubuntu-latest-slim .
|
||||
|
|
Loading…
Reference in New Issue
Block a user