From 0ca6990373e3c6180b3429014373729f4f7d5929 Mon Sep 17 00:00:00 2001
From: Mattias Wadman <mattias.wadman@gmail.com>
Date: Wed, 26 Jun 2024 09:10:20 +0200
Subject: [PATCH] Run CI on PR or master push

Previously two CI jobs were done for each PR
---
 .github/workflows/push.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index d4ca53f..1a65f34 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -1,6 +1,10 @@
 name: Build on push and PRs
 
-on: [push,pull_request]
+on:
+  push:
+    branches:
+      - "master"
+  pull_request:
 
 jobs:
   build: