From 1c9fdba5a77668111e4dcd6a82d5157720fb7e14 Mon Sep 17 00:00:00 2001
From: CommunityMaintained
 <293462701+CommunityMaintained@users.noreply.github.com>
Date: Sun, 14 Jun 2026 14:11:22 -0500
Subject: [PATCH] ci: don't run on pushes

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 2286dd9..7ed7745 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,10 +1,9 @@
 name: CI
 
 on:
-  push:
-    branches-ignore: ['master']
   pull_request:
     branches: ['master']
+    types: [opened, synchronize, reopened]
 
 jobs:
   test: