From e2f28f2f6367853cd2ddb41f0e9e089aa904497b Mon Sep 17 00:00:00 2001
From: "google-labs-jules[bot]"
 <161369871+google-labs-jules[bot]@users.noreply.github.com>
Date: Fri, 3 Apr 2026 15:21:45 +0000
Subject: [PATCH] ci: restrict push trigger to master branch to prevent
 duplicate CI runs

This updates `.github/workflows/ci.yml` so that the `push` event only triggers for the `master` branch. This avoids running the workflow twice (once for `push`, once for `pull_request`) when commits are pushed to open pull requests.

Co-authored-by: hrj <345879+hrj@users.noreply.github.com>
---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index aac843b..a059432 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -2,6 +2,7 @@ name: Core CI
 
 on:
   push:
+    branches: [ master ]
   pull_request:
     branches: [ master ]