fix: only copy joj3 to bin
All checks were successful
push / build (push) Successful in 46s

This commit is contained in:
张泊明518370910136 2024-09-26 03:47:57 -04:00
parent 0204d8173e
commit 5146cb726a
GPG Key ID: CA088E6D9284F870
2 changed files with 2 additions and 2 deletions

2
JOJ3

@ -1 +1 @@
Subproject commit 1bb0ddd253092895405d02e66ff089743735c941 Subproject commit 7ce4d29d0e371d24b8f8c63290ae7f6f04279eda

View File

@ -5,7 +5,7 @@ all: build
build: build:
git submodule update --init --remote git submodule update --init --remote
$(MAKE) -C JOJ3 $(MAKE) -C JOJ3
cp JOJ3/build/* bin/ cp JOJ3/build/joj3 bin/
docker build -t focs.ji.sjtu.edu.cn:5000/gitea/runner-images:focs-ubuntu-latest-slim . docker build -t focs.ji.sjtu.edu.cn:5000/gitea/runner-images:focs-ubuntu-latest-slim .
push: push: