From 590bd4b228abad7d72449af9794434d9ada29b6b Mon Sep 17 00:00:00 2001
From: Kamil Kokot <kamil@kokot.me>
Date: Fri, 12 Jun 2026 12:31:43 +0200
Subject: [PATCH] Restrict push trigger to master to avoid duplicate CI runs

Previously every branch push triggered both the push and pull_request
workflows when a PR was open. Limiting push to master means branch
pushes only trigger via pull_request.

Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com>
---
 .github/workflows/build.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index a83ec7d..8f9af03 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -2,6 +2,8 @@ name: Build
 
 on:
     push:
+        branches:
+            - master
     pull_request:
     release:
         types: [created]