From 779674aaca3436f894fa149f8149516f747252ca Mon Sep 17 00:00:00 2001
From: Loris Cro <kappaloris@gmail.com>
Date: Wed, 23 Nov 2022 03:00:39 +0100
Subject: [PATCH] ci: only run CI on pull requests and master branch pushes

To get the CI to run on branches other than master, create a corresponding PR.
---
 .github/workflows/ci.yaml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 1b4f119ec0..59ae03e8b7 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -1,5 +1,9 @@
 name: ci
-on: [push, pull_request]
+on:
+  pull_request:
+  push:
+    branches: 
+      - master
 jobs:
   x86_64-linux-debug:
     outputs: