Skip to content

Build on workflow dispatch instead of push to main#1074

Draft
zanieb wants to merge 1 commit intomainfrom
zb/main-build
Draft

Build on workflow dispatch instead of push to main#1074
zanieb wants to merge 1 commit intomainfrom
zb/main-build

Conversation

@zanieb
Copy link
Copy Markdown
Member

@zanieb zanieb commented Apr 1, 2026

Unfortunately, the current costs of CI for this project mean that building on main discourages fast iteration and small changes. Here, we stop building on push to main and instead require a manual dispatch to build a target commit.

This will slow down our release pipeline a bit, but most releases are planned and it'll be straight-forward to dispatch the CI. The main concern I have here is that uncommon platforms can regress unexpectedly, which could separate regressions from the introducing change and make diagnosis harder and delay releases.

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants