CI: only build once for pull requests, manual trigger for branches.

nick-dijkshoorn · Jan 24, 2022 · 050f106 · 050f106
1 parent 0ce93c9
commit 050f106
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,7 +1,11 @@
-# Note: can't use build matrix because our steps are not cross-platform...
 name: CI
 
-on: [push, pull_request]
+# Avoid duplicate builds for pull requests, allow manual trigger.
+on:
+  push:
+    branches: [ main ]
+  pull_request:
+  workflow_dispatch:
 
 defaults:
   run: