Skip to content

ci: Run push CI on mainlines only to stop double-triggering PRs#125

Open
DanielKellerM wants to merge 1 commit into
develfrom
ci/fix-dual-event
Open

ci: Run push CI on mainlines only to stop double-triggering PRs#125
DanielKellerM wants to merge 1 commit into
develfrom
ci/fix-dual-event

Conversation

@DanielKellerM

Copy link
Copy Markdown
Collaborator

Problem

An open same-repo PR fires both the push and pull_request events. The gitlab-ci job then mirrors the same commit to GitLab twice, and the second mirror cancels the first GitLab pipeline — observed as a child pipeline with all jobs skipped (the 100 skipped / unknown_failure signature), failing gitlab-ci / check on every PR while devel (single push event) stays healthy.

Fix

Scope push to devel/master. Feature branches validate via their PR:

  • Open PR + push a commitpull_request: synchronize reruns the full CI (incl. gitlab-ci) once. Push-to-retrigger still works.
  • Re-rungh run rerun / Actions UI / workflow_dispatch, unchanged.
  • A branch with no open PR no longer auto-runs on push — open the PR or use workflow_dispatch.

Bonus: also stops the spurious __deploy__<sha>__<feature-branch> pipelines the deploy job created on every feature-branch push (deploy is if: github.event_name == 'push', now mainline-only).

An open same-repo PR fires both the push and pull_request events, so the
gitlab-ci job mirrors the same commit twice; the second mirror cancels the
first GitLab pipeline (observed as a child pipeline with all jobs skipped).
Scope push to devel/master so feature branches run CI once, via their PR
(pull_request synchronize still reruns on every pushed commit). Also stops
the spurious __deploy__ pipelines the deploy job created on feature pushes.
Copilot AI review requested due to automatic review settings June 12, 2026 12:14

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants