From b3f0ff50707bb78121ce5966e495ceeea848ab01 Mon Sep 17 00:00:00 2001
From: nodiscc <nodiscc@gmail.com>
Date: Tue, 24 Jan 2023 17:17:25 +0100
Subject: [PATCH] tools: github actions: don't trigger duplicate workflows on
 pull requests

---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 85f96640d7..f4aa063e0d 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,5 +1,6 @@
 on:
   push:
+    branches: [ master ]
   pull_request:
     branches: [ master ]
   workflow_dispatch: