chore: update ci

taikoxyz · Jul 1, 2023 · cda9c82 · cda9c82
1 parent a4a780d
commit cda9c82
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -1 +1 @@
-c133bdd2bee6192bab2531f8463100c778c71820
+8e398f40bd8693af5966c3ac7bf21cb3516d4b2d