From 89ff950f39bb98881fff3d8777cb40b39350aa2d Mon Sep 17 00:00:00 2001 From: David Date: Sun, 16 Jul 2023 19:44:13 +0800 Subject: [PATCH] feat: update workflow --- .github/workflows/docker.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index 17a76238a..1b1491c56 100644 --- a/.github/workflows/docker.yml +++ b/.github/workflows/docker.yml @@ -2,7 +2,7 @@ name: "Push docker image to GCR" on: push: - branches: [main,more-prover-metrics] + branches: [main] tags: - "v*"