.github/workflows/{build,doc-build}.yml: Use default event types for pull_request trigger

Matthias Koeppe · Matthias Koeppe · commit adf85df22b5c · 2023-01-27T08:32:15.000-08:00
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -2,7 +2,6 @@ name: Build & Test
 
 on:
   pull_request:
-    types: [opened, synchronize]
   push:
   workflow_dispatch:
     # Allow to run manually
diff --git a/.github/workflows/doc-build.yml b/.github/workflows/doc-build.yml
@@ -2,7 +2,6 @@ name: Build documentation
 
 on:
   pull_request:
-    types: [opened, synchronize]
   push:
   workflow_dispatch:
     # Allow to run manually
