github: bump actions to node20

GitHub has started issuing warnings for node16. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Feb 7, 2024 · d8c2e90 · d8c2e90
1 parent 8977f3b
commit d8c2e90
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/trigger.yml b/.github/workflows/trigger.yml
@@ -18,7 +18,7 @@ jobs:
     name: L4v
     runs-on: ubuntu-latest
     steps:
-      - uses: peter-evans/repository-dispatch@v2
+      - uses: peter-evans/repository-dispatch@v3
         if: ${{ github.event.pusher.login != 'seL4-ci' }}
         with:
           token: ${{ secrets.PRIV_REPO_TOKEN }}