From 4f67dd6b0ae113f7d0fcc172076d85b9c4f4b904 Mon Sep 17 00:00:00 2001 From: Bryan Van Deusen Date: Tue, 28 Apr 2026 00:05:33 -0400 Subject: [PATCH] ci: drop push:dev trigger; PR is the gate MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Forgejo Actions fired both `push` and `pull_request` events for the same commit when pushing to dev with an open PR — doubled CI runs on every PR commit (e.g. #182 and #183 on PR #24's HEAD `95d68e3`). Drop the push trigger entirely; PRs against main are the only quality gate that matters in this workflow (dev → PR → main, never direct push to main). Trade-off: direct pushes to dev with no open PR no longer get CI on their own. Acceptable — the moment the PR opens, the pull_request event fires and runs the same workflow. --- .forgejo/workflows/test.yml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/.forgejo/workflows/test.yml b/.forgejo/workflows/test.yml index c26b7d74..3b03fd54 100644 --- a/.forgejo/workflows/test.yml +++ b/.forgejo/workflows/test.yml @@ -4,8 +4,10 @@ name: test # locally via docker-compose; they should guard with testing.Short(). on: - push: - branches: [dev] + # PRs against main are the gate. Direct pushes to dev no longer trigger + # CI on their own — opening a PR fires the pull_request event and gates + # the merge. Avoids the duplicate push+pull_request runs we were + # accumulating on every PR commit. pull_request: branches: [main]