ci: add event types for pull_request

Author: williamdes

.github/workflows/lint-and-analyse.yml

@@ -3,13 +3,14 @@ name: Lint and analyse files
 on: 
   push:
   pull_request:
+    types: [opened, synchronize, reopened]
     branches:
-      # Branches from forks have the form 'user:branch-name' so we only run
-      # this job on pull_request events for branches that look like fork
-      # branches. Without this we would end up running this job twice for non
-      # forked PRs, once for the push and then once for opening the PR.
-      # Source: https://github.community/t/how-to-trigger-an-action-on-push-or-pull-request-but-not-both/16662/10
-    - '**:**'
+        # Branches from forks have the form 'user:branch-name' so we only run
+        # this job on pull_request events for branches that look like fork
+        # branches. Without this we would end up running this job twice for non
+        # forked PRs, once for the push and then once for opening the PR.
+        # Source: https://github.community/t/how-to-trigger-an-action-on-push-or-pull-request-but-not-both/16662/10
+      - '**:**'
 
 jobs:
     lint-php:

.github/workflows/lint-docs.yml

@@ -3,6 +3,7 @@ name: lint php documentation
 on: 
   push:
   pull_request:
+    types: [opened, synchronize, reopened]
     branches:
       # Branches from forks have the form 'user:branch-name' so we only run
       # this job on pull_request events for branches that look like fork

.github/workflows/tests.yml

@@ -3,6 +3,7 @@ name: Run tests
 on: 
   push:
   pull_request:
+    types: [opened, synchronize, reopened]
     branches:
       # Branches from forks have the form 'user:branch-name' so we only run
       # this job on pull_request events for branches that look like fork