Don't build on branch pushes except for main

We already have pull_request, doing it for all pushes too means duplicate builds for PRs. To do a build without a full PR yet, we can use draft PRs.
robinst · Jun 24, 2023 · 519de1b · 519de1b
1 parent 00a8560
commit 519de1b
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,7 +1,11 @@
 # Based on https://github.com/actions-rs/meta/blob/master/recipes/msrv.md
 
 name: ci
-on: [push, pull_request]
+on:
+  pull_request:
+  push:
+    branches:
+      - main
 
 jobs:
   check: