Use an access token to trigger CI runs on created PRs

tweag · Aug 17, 2023 · 795968b · 795968b
1 parent 9cae370
commit 795968b
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/update-ghc.yaml b/.github/workflows/update-ghc.yaml
@@ -32,6 +32,5 @@ jobs:
           title: "[update] GHC ${{ steps.ghc_update.latest }}"
           branch: "automation/update-ghc-${{ matrix.ghc }}"
           base: master
-          # TODO: needs a token so that workflows for the PR get triggered
-          #token: "${{ secrets.PR_TOKEN }}"
+          token: "${{ secrets.PR_TRIGGER_TOKEN }}"