fypp runs on all pushes, so no need to duplicate on PRs.

Cambridge-ICCS · Nov 18, 2023 · 9d4b3d7 · 9d4b3d7
1 parent 1c5b814
commit 9d4b3d7
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/.github/workflows/fypp.yml b/.github/workflows/fypp.yml
@@ -3,12 +3,6 @@ name: fypp-checks
 on:
   # run on every push
   push:
-  # run on every push (not commit) to a PR, plus open/reopen
-  pull_request:
-    types:
-    - synchronize
-    - opened
-    - reopened
 
 jobs:
   various: