Add pull request event types to workflow_dispatch

mnixry · Feb 27, 2024 · dc3a47e · dc3a47e
1 parent 90e718c
commit dc3a47e
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -3,6 +3,7 @@ name: CI
 on:
   push:
   pull_request_target:
+    types: [opened, synchronize, reopened]
   workflow_dispatch:
 
 env:
@@ -13,6 +14,8 @@ jobs:
   build:
     runs-on: ubuntu-latest
 
+    if: github.event_name != 'push' || !startsWith(github.ref, 'refs/pull/')
+
     permissions:
       id-token: write
 
@@ -69,7 +72,8 @@ jobs:
     runs-on: ubuntu-latest
     needs: build
 
-    if: github.event_name != 'push' || !startsWith(github.event.pull_request.head.ref, 'ref/pull/')
+    permissions:
+      pull-requests: write
 
     steps:
       - uses: actions/checkout@v4