Skip to content

👷 ci: dry-run the release in the PR gate - #293

Merged
gaborbernat merged 1 commit into
mainfrom
release-dry-run
Nov 6, 2026
Merged

gaborbernat merged 1 commit into
mainfrom
release-dry-run

Conversation

@gaborbernat

Copy link
Copy Markdown
Collaborator

A pull request could merge green and still break the next release. Release preparation assembles under rules no pull request check applied: prek hooks install with packages from the last seven days held back, fragments link to their pull requests, and the changelog builds and formats. simplint#55 merged with every check green, and the next release failed while installing its hooks. 🚦

The required gate now runs this repository's own prepare workflow as a dry run, through the dry-run input added in github-workflows 6.6.0. The dry run uses the same inputs and the same assembly as a real release and skips the push job. A pull request that would break the release now fails its gate instead. The dry run needs no App key, and it has its own concurrency group, so it never queues behind a real release.

Releases dispatched by hand behave as before.

Release preparation installs prek hooks under the seven-day cooldown,
links fragments and builds the changelog; no pull request check did, so
a change could merge green and fail the next release (simplint#55).

The gate now calls the prepare workflow with dry-run, which assembles the
release and skips the push.
@gaborbernat gaborbernat added the skip news PR does not need a changelog entry label Nov 6, 2026
@gaborbernat
gaborbernat merged commit ad0789a into main Nov 6, 2026
18 of 19 checks passed
@gaborbernat
gaborbernat deleted the release-dry-run branch November 6, 2026 16:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

skip news PR does not need a changelog entry

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant