ci: drop push:dev trigger; PR is the gate #25
Reference in New Issue
Block a user
Delete Branch "dev"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Tiny CI workflow change. Drops the
push: branches: [dev]trigger from.forgejo/workflows/test.yml; thepull_request: branches: [main]trigger remains.Why
Forgejo Actions fires BOTH events when:
dev(with an open PR againstmain) →pusheventpull_requesteventResult: every PR commit was producing two runs of the same workflow on the same SHA. Visible on PR #24 — runs
#182(push, dev) and#183(pull_request, #24) for the same commit95d68e3. Same pattern on PR #21, #22, #23.After this change: only one run per PR commit. Roughly halves CI usage.
Trade-off
Direct pushes to
devwithout an open PR will no longer trigger CI on their own. Acceptable because:dev → PR → main. The PR is the gate.pull_requestevent fires and runs the workflow.devfor in-progress work are typically followed by a PR within the same dev session.Test plan
This PR itself will validate the change — only one test.yml run should fire (for the
pull_requestevent). If two runs appear, the change didn't work.🤖 Generated with Claude Code