fix: prevent duplicate CI runs on pull request pushes #490

2026-06-06T15:35:48Z

guettlibot commented

2026-06-06 15:35:48 +00:00

(Migrated from codeberg.org)

Summary

The CI workflow used on: [push, pull_request], which fires two runs whenever a commit is pushed to a branch with an open PR — one for the push event and one for the pull_request event.
Scoped the push trigger to branches: [main] only. Feature-branch pushes now trigger only via pull_request; direct pushes to main (merge commits) still trigger via push.

Test plan

Open a PR and push a new commit — verify only one CI run appears, not two
Merge a PR to main — verify CI still runs via the push trigger

Closes #483

## Summary - The CI workflow used `on: [push, pull_request]`, which fires **two** runs whenever a commit is pushed to a branch with an open PR — one for the `push` event and one for the `pull_request` event. - Scoped the `push` trigger to `branches: [main]` only. Feature-branch pushes now trigger only via `pull_request`; direct pushes to `main` (merge commits) still trigger via `push`. ## Test plan - [ ] Open a PR and push a new commit — verify only one CI run appears, not two - [ ] Merge a PR to `main` — verify CI still runs via the `push` trigger Closes #483

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: guettli/sharedinbox#490