From 0247e0548d46d7e481b98f528b5cbaf5c98eb17d Mon Sep 17 00:00:00 2001
From: Christian Clauss <cclauss@me.com>
Date: Sun, 5 Mar 2023 07:23:01 +0100
Subject: [PATCH] Fix CI to run on master without duplicate push and
 pull_request runs

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 56e4097..35d619e 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,12 +1,14 @@
 name: CI
 
-# Run on push only for dev/sandbox
-# Otherwise it may trigger concurrently `push & pull_request` on PRs.
 on:
   push:
     branches:
       - ci
+      - master
       - staging
+  pull_request:
+    branches:
+      - master
 
 jobs:
   build: