From cda9c827b747760b7aeba05281a7db9c5a3d1f1f Mon Sep 17 00:00:00 2001 From: David Date: Sat, 1 Jul 2023 14:50:32 +0800 Subject: [PATCH] chore: update ci --- .github/workflows/docker.yml | 2 +- bindings/.githead | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index 1b1491c56..ba2ac1ff8 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] + branches: [main,pos_impl] tags: - "v*" diff --git a/bindings/.githead b/bindings/.githead index 49ab85096..386337e81 100644 --- a/bindings/.githead +++ b/bindings/.githead @@ -1 +1 @@ -c133bdd2bee6192bab2531f8463100c778c71820 +8e398f40bd8693af5966c3ac7bf21cb3516d4b2d