chore: make push

2024-06-29 22:39:29 -04:00 · 2024-06-29 22:39:29 -04:00 · 701ed95761
commit 701ed95761
parent 25209e1a28
1 changed files with 4 additions and 1 deletions
--- a/5
+++ b/5
@ -1,6 +1,9 @@
-.PHONY: all build
+.PHONY: all build push

 all: build

 build:
 	docker build -t focs.ji.sjtu.edu.cn:5000/gitea/runner-images:focs-ubuntu-latest .
+
+push:
+	docker push focs.ji.sjtu.edu.cn:5000/gitea/runner-images:focs-ubuntu-latest