From 3f63d9d884c6e94684bf05b5b4b7264f94bcbaa2 Mon Sep 17 00:00:00 2001
From: F-WRunTime <freeman.wenzl@runtimeverification.com>
Date: Tue, 26 Nov 2024 21:37:43 -0700
Subject: [PATCH] modified:   .github/workflows/test.yaml - Update tests to use
 the new less permissive token.

---
 .github/workflows/test.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml
index 7bcab26..e4b4d4a 100644
--- 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'
              
\ No newline at end of file