Update GitHub workflow events

Be explicit which event types we want to run on. This removed the default `reopened` event type. If a PR gets reopened we should be rebasing it rather than testing against old code.
mysociety · Oct 26, 2023 · e9e9de6 · e9e9de6
1 parent b4599f2
commit e9e9de6
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -4,6 +4,9 @@ on:
   push:
     branches: [master, develop]
   pull_request:
+    types:
+      - opened
+      - synchronize
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}

diff --git a/.github/workflows/rubocop.yml b/.github/workflows/rubocop.yml
@@ -1,6 +1,10 @@
 name: RuboCop
 
-on: [pull_request]
+on:
+  pull_request:
+    types:
+      - opened
+      - synchronize
 
 permissions:
   contents: read