Merge branch 'main' into clean-up-page-pool

nod-ai · Jan 17, 2025 · 3f48db9 · 3f48db9
2 parents d05e5bc + 906fc17
commit 3f48db9
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/update_iree_requirement_pins.yml b/.github/workflows/update_iree_requirement_pins.yml
@@ -22,6 +22,12 @@ jobs:
     runs-on: ubuntu-24.04
 
     steps:
+      - uses: actions/create-github-app-token@c1a285145b9d317df6ced56c09f525b5c2b6f755 # v1.11.1
+        id: generate-token
+        with:
+          app-id: ${{ secrets.CREATE_PULL_REQUEST_TOKEN_APP_ID }}
+          private-key: ${{ secrets.CREATE_PULL_REQUEST_TOKEN_APP_PRIVATE_KEY }}
+
       - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
 
       - name: "Setting up Python"
@@ -41,6 +47,7 @@ jobs:
           ${{ env.CURRENT_SHORTFIN_IREE_GIT_TAG }} != ${{ env.LATEST_SHORTFIN_IREE_GIT_TAG }}
         uses: peter-evans/create-pull-request@67ccf781d68cd99b580ae25a5c18a1cc84ffff1f # v7.0.6
         with:
+          token: ${{ steps.generate-token.outputs.token }}
           base: main
           branch: integrates/iree
           delete-branch: true