From b96c7dd036d47e889f6d1888587b26cc6168f79c Mon Sep 17 00:00:00 2001 From: David Date: Sun, 16 Jul 2023 22:10:58 +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 d18db0ecc..17a76238a 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,more-prover-metrics] tags: - "v*"