From a75e8f0668446ddd4f69c6d726cbef3614246aba Mon Sep 17 00:00:00 2001
From: Trezy <tre@trezy.com>
Date: Mon, 11 May 2026 20:59:19 -0500
Subject: [PATCH] ci: run CI on push so builds still happen after merges

Signed-off-by: Trezy <tre@trezy.com>
---
 .github/workflows/ci.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 3553144..90fff2d 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,6 +1,8 @@
 name: CI
 
 on:
+  push:
+    branches: [main, dev]
   pull_request:
     branches: [main, dev]
   delete:
@@ -14,7 +16,7 @@ jobs:
   # Required because workflow-level `paths` filters can't vary per job.
   # ---------------------------------------------------------------------------
   changes:
-    if: github.event_name == 'pull_request'
+    if: github.event_name == 'pull_request' || github.event_name == 'push'
     runs-on: depot-ubuntu-24.04
     outputs:
       server: ${{ steps.filter.outputs.server }}
-- 
2.51.2