From ea3e5c2ca557d04563fd203adb16d4d288d9d208 Mon Sep 17 00:00:00 2001
From: Ammar Bandukwala <ammar@ammar.io>
Date: Sat, 4 Oct 2025 15:33:17 -0500
Subject: [PATCH] Fix CI double-run on pull requests

When a branch has an open PR, pushing to it triggers both the 'push'
and 'pull_request' events, causing CI to run twice. This change limits
'push' triggers to only the main branch, while keeping 'pull_request'
triggers for all branches. This is the standard GitHub Actions pattern
to prevent duplicate runs.
---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 699cdc693e..c30478ab5a 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -2,7 +2,7 @@ name: CI
 
 on:
   push:
-    branches: ["**"]
+    branches: ["main"]
   pull_request:
     branches: ["**"]