Skip to content

[NO-ISSUE] ci: run governance once per commit (drop push trigger on dev) - #771

Merged
robsongajunior merged 1 commit into
devfrom
ci/governance-single-run-per-commit
Jul 21, 2026
Merged

[NO-ISSUE] ci: run governance once per commit (drop push trigger on dev)#771
robsongajunior merged 1 commit into
devfrom
ci/governance-single-run-per-commit

Conversation

@robsongajunior

Copy link
Copy Markdown
Contributor

Summary

Every commit landing on dev currently runs the Governance Pipeline twice: once via push on dev and once via pull_request synchronize on the standing devmain release PR (see the duplicated checks on #768). This drops dev from the push trigger so each commit is validated once.

  • pull_request: [main, dev] stays — it feeds the required status checks for feature PRs and for the release PR, and validates the merge ref.
  • push: [main] stays — post-merge sanity run on main (fires with the release PR already closed, so it never duplicates).

Notes

  • No jobs in governance.yml branch on github.event_name / github.ref, so nothing depended on the push-on-dev run.
  • ci type → no version bump.
  • Caveat: a direct push to dev (outside a PR, with no open release PR) would skip governance; the repo flow is PR-only, and "require branch up to date" on dev covers the stale-merge gap.

@robsongajunior
robsongajunior requested a review from a team July 21, 2026 20:49
@robsongajunior
robsongajunior requested a review from a team as a code owner July 21, 2026 20:49
@robsongajunior
robsongajunior merged commit a3d56d3 into dev Jul 21, 2026
18 checks passed
@robsongajunior
robsongajunior deleted the ci/governance-single-run-per-commit branch July 22, 2026 13:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

4 participants