From 2764b42107c8fdf6f57306bca2b278a96775eb72 Mon Sep 17 00:00:00 2001
From: F-WRunTime <freeman.wenzl@runtimeverification.com>
Date: Tue, 3 Dec 2024 14:03:53 -0700
Subject: [PATCH] Missed first job adding 'token'

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

diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml
index 4debea2..e06dea2 100644
--- a/.github/workflows/test.yaml
+++ b/.github/workflows/test.yaml
@@ -20,6 +20,8 @@ jobs:
           app_id: ${{ secrets.AUTOMERGE_APP_ID }}
           private_key: ${{ secrets.AUTOMERGE_APP_PRIVATE_KEY }}
       - name: 'Check out devops repo'
+        env:
+          token: ${{ needs.list.outputs.token }}
         uses: actions/checkout@v4.0.0
       - id: list
         name: 'List automerge repos'
@@ -36,7 +38,7 @@ jobs:
     steps:
       - name: 'Check Automerge Repo to Test'
         env:
-          GITHUB_TOKEN: ${{ needs.list.outputs.token }}
+          token: ${{ needs.list.outputs.token }}
         uses: actions/checkout@v4
 
       - name: 'Automerge runtimeverification/${{ matrix.value }}'