From 0405dc7c47c7a752304e86289fce4ce6d0f9a122 Mon Sep 17 00:00:00 2001
From: me-it-is <188520719+me-it-is@users.noreply.github.com>
Date: Tue, 6 Oct 2026 21:51:05 -0700
Subject: [PATCH] hopefully make it so that actions run for external
 contributors

---
 .github/workflows/CI.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/CI.yaml b/.github/workflows/CI.yaml
index 4085e3a..efb217f 100644
--- a/.github/workflows/CI.yaml
+++ b/.github/workflows/CI.yaml
@@ -1,5 +1,5 @@
 name: CI
-on: [push]
+on: [merge_group, pull_request]
 jobs:
   Lint-and-type-check:
     runs-on: ubuntu-latest