From 701ed957610eadafa5342baac448e4067aa29c33 Mon Sep 17 00:00:00 2001 From: Boming Zhang Date: Sat, 29 Jun 2024 22:39:29 -0400 Subject: [PATCH] chore: make push --- Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 551d56b..28862c9 100644 --- a/Makefile +++ b/Makefile @@ -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