All checks were successful
		
		
	
	push / build (push) Successful in 52s
				
			Reviewed-on: FOCS-dev/runner-images#3 Co-authored-by: Boming Zhang <bomingzh@sjtu.edu.cn> Co-committed-by: Boming Zhang <bomingzh@sjtu.edu.cn>
		
			
				
	
	
		
			13 lines
		
	
	
		
			297 B
		
	
	
	
		
			Makefile
		
	
	
	
	
	
			
		
		
	
	
			13 lines
		
	
	
		
			297 B
		
	
	
	
		
			Makefile
		
	
	
	
	
	
| .PHONY: all build push
 | |
| 
 | |
| all: build
 | |
| 
 | |
| build:
 | |
| 	git submodule update --init --remote
 | |
| 	$(MAKE) -C JOJ3
 | |
| 	cp JOJ3/build/* bin/
 | |
| 	docker build -t focs.ji.sjtu.edu.cn:5000/gitea/runner-images:focs-ubuntu-latest-slim .
 | |
| 
 | |
| push:
 | |
| 	docker push focs.ji.sjtu.edu.cn:5000/gitea/runner-images:focs-ubuntu-latest-slim
 |