Generate token for all repositories under current owner running the a…

…ction
runtimeverification · Dec 3, 2024 · 03faaef · 03faaef
1 parent eddef9d
commit 03faaef
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml
@@ -18,8 +18,9 @@ jobs:
         id: automerge_token
         uses: actions/[email protected]
         with:
-          app_id: ${{ secrets.AUTOMERGE_APP_ID }}
-          private_key: ${{ secrets.AUTOMERGE_APP_PRIVATE_KEY }}
+          app-id: ${{ secrets.AUTOMERGE_APP_ID }}
+          private-key: ${{ secrets.AUTOMERGE_APP_PRIVATE_KEY }}
+          owner: ${{ github.repository_owner }}
       - name: 'Check out devops repo'
         env:
           token: ${{ steps.automerge_token.outputs.token }}