Missed first job adding 'token'

runtimeverification · Dec 3, 2024 · 2764b42 · 2764b42
1 parent e7ed705
commit 2764b42
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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/[email protected]
       - 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 }}'