From a3e23f706f554d9f383789ae04fdcee92c47936d Mon Sep 17 00:00:00 2001 From: TheRealDinghyDog Date: Tue, 14 Jul 2026 10:25:24 +0200 Subject: [PATCH] Run CI on pushes to main, not only pull requests MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit pull_request runs test the PR head, not the merge commit that actually lands on main — and main is what the community-marketplace catalog pins and auto-bumps to. Add a push trigger for main and rename the workflow to plain "CI" accordingly. Co-Authored-By: Claude Fable 5 --- .github/workflows/pull-request-ci.yml | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/.github/workflows/pull-request-ci.yml b/.github/workflows/pull-request-ci.yml index 8b2e1f4..9a08bf7 100644 --- a/.github/workflows/pull-request-ci.yml +++ b/.github/workflows/pull-request-ci.yml @@ -1,7 +1,12 @@ -name: Pull Request CI +name: CI on: pull_request: + # pull_request runs test the PR head, not the merge commit that lands on + # main — and main is what the community-marketplace catalog pins. Test it + # directly on every push. + push: + branches: [main] permissions: contents: read