Merge branch 'main' into xzhseh/fix-named-sql-udf-binding

risingwavelabs · Feb 4, 2024 · dc1b7c2 · dc1b7c2
2 parents 6f9177d + 50b91c0
commit dc1b7c2
Show file tree

Hide file tree

Showing 297 changed files with 13,302 additions and 4,483 deletions.
diff --git a/.github/workflows/cherry-pick-to-release-branch.yml b/.github/workflows/cherry-pick-to-release-branch.yml
@@ -3,11 +3,11 @@ on:
   pull_request:
     branches:
       - main
-    types: ["closed"]
+    types: ["closed", "labeled"]
 
 jobs:
-  release_pull_request_1_5:
-    if: "contains(github.event.pull_request.labels.*.name, 'need-cherry-pick-release-1.5')  &&  github.event.pull_request.merged == true"
+  release_pull_request_1_7:
+    if: "contains(github.event.pull_request.labels.*.name, 'need-cherry-pick-release-1.7')  &&  github.event.pull_request.merged == true"
     runs-on: ubuntu-latest
     name: release_pull_request
     steps:
@@ -16,9 +16,9 @@ jobs:
       - name: Create PR to branch
         uses: risingwavelabs/github-action-cherry-pick@master
         with:
-          pr_branch: 'release-1.5'
+          pr_branch: 'release-1.7'
           pr_labels: 'cherry-pick'
-          pr_body: ${{ format('Cherry picking \#{0} onto branch release-1.5', github.event.number) }}
+          pr_body: ${{ format('Cherry picking \#{0} onto branch release-1.7', github.event.number) }}
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}