modified: .github/workflows/test.yaml

- Update tests to use the new less permissive token.
runtimeverification · Nov 27, 2024 · 3f63d9d · 3f63d9d
1 parent 844be84
commit 3f63d9d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml
@@ -37,7 +37,7 @@ jobs:
         with:
           org: 'runtimeverification'
           repo: ${{ matrix.value }}
-          token: ${{ secrets.JENKINS_GITHUB_PAT }}
+          token: ${{ secrets.AUTOMERGE_TOKEN }}
           debug: --dry-run
 
       - name: 'Automerge runtimeverification/${{ matrix.value }}'
@@ -46,7 +46,7 @@ jobs:
         with:
           org: 'runtimeverification'
           repo: ${{ matrix.value }}
-          token: ${{ secrets.JENKINS_GITHUB_PAT }}
+          token: ${{ secrets.AUTOMERGE_TOKEN }}
           debug: --dry-run
           comment: 'true'