Revert "github: Restore old push/PR behavior"

This reverts commit aeeefab.
kohlschutter · Oct 10, 2023 · 671dd75 · 671dd75
1 parent 8aee1fb
commit 671dd75
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -1,7 +1,7 @@
 name: Continuous integration build
 on:
   push:
-  pull_request:
+    branches: [ "main", "develop", "wip" ]
 
 jobs:
   build: