Merge pull request #7330 from dolthub/db/final

[no-release-notes] /.github/workflows: make sure my token is used to add label to prs so CI runs again, run on all prs, not just mine
dolthub · Jan 16, 2024 · 09e7bf9 · 09e7bf9
2 parents ee20546 + 21aac44
commit 09e7bf9
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/.github/workflows/ci-check-correctness.yaml b/.github/workflows/ci-check-correctness.yaml
@@ -1,12 +1,13 @@
 name: Check for correctness_approved label
 on:
   pull_request:
+    paths:
+      - 'go/**'
     branches: [main]
     types: [opened, labeled, unlabeled, synchronize]
 jobs:
   label:
     runs-on: ubuntu-latest
-    if: ${{ github.actor == 'coffeegoddd' }}
     permissions:
       issues: write
       pull-requests: write

diff --git a/.github/workflows/pull-report.yaml b/.github/workflows/pull-report.yaml
@@ -27,7 +27,7 @@ jobs:
       - name: Post results to PR
         uses: actions/github-script@v6
         with:
-          github-token: ${{ secrets.GITHUB_TOKEN }}
+          github-token: ${{ secrets.REPO_ACCESS_TOKEN || secrets.GITHUB_TOKEN }}
           script: |
             const { ACTOR, FORMAT, ISSUE_NUMBER, GITHUB_WORKSPACE } = process.env;
             const issue_number = parseInt(ISSUE_NUMBER, 10);
@@ -52,7 +52,7 @@ jobs:
         if: ${{ github.event.client_payload.correctness_info.is_regression == 'true' && github.event.client_payload.job_type == 'sql-correctness' }}
         uses: actions/github-script@v6
         with:
-          github-token: ${{ secrets.GITHUB_TOKEN }}
+          github-token: ${{ secrets.REPO_ACCESS_TOKEN || secrets.GITHUB_TOKEN }}
           script: |
             const { ACTOR, ISSUE_NUMBER, LABEL, GITHUB_WORKSPACE } = process.env;
             const issue_number = parseInt(ISSUE_NUMBER, 10);
@@ -90,7 +90,7 @@ jobs:
         if: ${{ github.event.client_payload.correctness_info.is_regression != 'true' && github.event.client_payload.job_type == 'sql-correctness' }}
         uses: actions/github-script@v6
         with:
-          github-token: ${{ secrets.GITHUB_TOKEN }}
+          github-token: ${{ secrets.REPO_ACCESS_TOKEN || secrets.GITHUB_TOKEN }}
           script: |
             const { ACTOR, ISSUE_NUMBER, LABEL, GITHUB_WORKSPACE } = process.env;
             const issue_number = parseInt(ISSUE_NUMBER, 10);

diff --git a/.github/workflows/sql-regressions.yaml b/.github/workflows/sql-regressions.yaml
@@ -50,7 +50,6 @@ jobs:
           github-token: ${{ secrets.GITHUB_TOKEN }}
           script: core.setOutput("pull_number", JSON.stringify(context.issue.number));
       - uses: peter-evans/[email protected]
-        if: ${{ needs.set-version-actor.outputs.actor == 'coffeegoddd' }}
         with:
           token: ${{ secrets.REPO_ACCESS_TOKEN }}
           event-type: sql-correctness