From 050f106d2e2e48749aa11ab1c9224d2bab149160 Mon Sep 17 00:00:00 2001
From: greenrobot Team <13865709+greenrobot-team@users.noreply.github.com>
Date: Mon, 24 Jan 2022 13:18:54 +0100
Subject: [PATCH] CI: only build once for pull requests, manual trigger for
 branches.

---
 .github/workflows/ci.yml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 49fcdd25..224adf0b 100644
--- 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: