From 818875a0033fd274801c401521588e11a03e1e72 Mon Sep 17 00:00:00 2001 From: Thomas SharedInbox Date: Sat, 6 Jun 2026 17:35:25 +0200 Subject: [PATCH] fix: prevent duplicate CI runs on pull request pushes MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Scope the push trigger to the main branch only. Previously `on: [push, pull_request]` fired two runs for every commit pushed to a feature branch with an open PR — one for the push event and one for the pull_request event. With this change, feature-branch commits trigger only via pull_request; direct pushes to main (merge commits) trigger via push. Closes #483 Co-Authored-By: Claude Sonnet 4.6 --- .forgejo/workflows/ci.yml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.forgejo/workflows/ci.yml b/.forgejo/workflows/ci.yml index e25cbc5..3186575 100644 --- a/.forgejo/workflows/ci.yml +++ b/.forgejo/workflows/ci.yml @@ -1,5 +1,9 @@ name: CI -on: [push, pull_request] +on: + push: + branches: + - main + pull_request: jobs: check: name: Full Project Check