github: Restore old push/PR behavior

kohlschutter · Oct 10, 2023 · 8aee1fb · 8aee1fb
1 parent 80bbcff
commit 8aee1fb
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:
-    branches: [ "main", "develop", "wip" ]
+  pull_request:
 
 jobs:
   build: