From 2934a900699240611d0f295c0c241b53eea50f9f Mon Sep 17 00:00:00 2001 From: dorianzheng Date: Sun, 26 Apr 2026 09:46:25 +0800 Subject: [PATCH 1/3] Add Dune review trigger workflow --- .github/workflows/dune-review-trigger.yml | 30 +++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 .github/workflows/dune-review-trigger.yml diff --git a/.github/workflows/dune-review-trigger.yml b/.github/workflows/dune-review-trigger.yml new file mode 100644 index 00000000000..39b14cd3ae9 --- /dev/null +++ b/.github/workflows/dune-review-trigger.yml @@ -0,0 +1,30 @@ +name: Request Dune PR Review + +on: + pull_request: + types: [opened, reopened] + +permissions: + pull-requests: write + contents: read + +jobs: + label-pr: + name: Add dune-review-requested label + runs-on: ubuntu-latest + steps: + - name: Add label + env: + GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} + run: | + gh pr edit "${{ github.event.pull_request.number }}" \ + --repo "${{ github.repository }}" \ + --add-label "dune-review-requested" \ + || gh label create "dune-review-requested" \ + --repo "${{ github.repository }}" \ + --color "e11d48" \ + --description "PR queued for Dune agent review" \ + --force \ + && gh pr edit "${{ github.event.pull_request.number }}" \ + --repo "${{ github.repository }}" \ + --add-label "dune-review-requested" From fa3b9883e00c8c29537ac12440ba44aea8a82e13 Mon Sep 17 00:00:00 2001 From: dorianzheng Date: Sun, 26 Apr 2026 10:55:55 +0800 Subject: [PATCH 2/3] Fix Dune review trigger permissions --- .github/workflows/dune-review-trigger.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/dune-review-trigger.yml b/.github/workflows/dune-review-trigger.yml index 39b14cd3ae9..fed03879fa7 100644 --- a/.github/workflows/dune-review-trigger.yml +++ b/.github/workflows/dune-review-trigger.yml @@ -7,6 +7,7 @@ on: permissions: pull-requests: write contents: read + issues: write jobs: label-pr: From 55f291c5a16022b8645d02e53e31ce970511187b Mon Sep 17 00:00:00 2001 From: dorianzheng Date: Sun, 26 Apr 2026 13:03:49 +0800 Subject: [PATCH 3/3] fix: clean up workflow label command --- .github/workflows/dune-review-trigger.yml | 21 +++++++++++---------- 1 file changed, 11 insertions(+), 10 deletions(-) diff --git a/.github/workflows/dune-review-trigger.yml b/.github/workflows/dune-review-trigger.yml index fed03879fa7..5f428ce827d 100644 --- a/.github/workflows/dune-review-trigger.yml +++ b/.github/workflows/dune-review-trigger.yml @@ -18,14 +18,15 @@ jobs: env: GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} run: | - gh pr edit "${{ github.event.pull_request.number }}" \ + if ! gh pr edit "${{ github.event.pull_request.number }}" \ --repo "${{ github.repository }}" \ - --add-label "dune-review-requested" \ - || gh label create "dune-review-requested" \ - --repo "${{ github.repository }}" \ - --color "e11d48" \ - --description "PR queued for Dune agent review" \ - --force \ - && gh pr edit "${{ github.event.pull_request.number }}" \ - --repo "${{ github.repository }}" \ - --add-label "dune-review-requested" + --add-label "dune-review-requested" 2>/dev/null; then + gh label create "dune-review-requested" \ + --repo "${{ github.repository }}" \ + --color "e11d48" \ + --description "PR queued for Dune agent review" \ + --force 2>/dev/null || true + gh pr edit "${{ github.event.pull_request.number }}" \ + --repo "${{ github.repository }}" \ + --add-label "dune-review-requested" + fi