From a75e8f0668446ddd4f69c6d726cbef3614246aba Mon Sep 17 00:00:00 2001 From: Trezy Date: Tue, 12 May 2026 01:59:19 +0000 Subject: [PATCH] ci: run CI on push so builds still happen after merges Signed-off-by: Trezy --- .github/workflows/ci.yml | 4 +++- 1 file(s) changed, 3 insertion(s)(+), 1 deletion(s)(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml --- 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 @@ # Path detection — determines which job groups should run. # 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 }} -- tangled.sh