Skip to content

Remove Buildkite pipeline - #101

Merged
hans-planetscale merged 1 commit into
mainfrom
hans-remove-buildkite
Oct 29, 2026
Merged

hans-planetscale merged 1 commit into
mainfrom
hans-remove-buildkite

Conversation

@hans-planetscale

@hans-planetscale hans-planetscale commented Oct 29, 2026 •

Copy link
Copy Markdown
Contributor

Fully migrates to GitHub Actions. All the hard work was already done in #81. I'll update the required checks before merging as the Buildkite check is now (as expected) red.

CI already runs every Buildkite step in GitHub Actions.
@hans-planetscale
hans-planetscale marked this pull request as ready for review October 29, 2026 04:00
@hans-planetscale
hans-planetscale merged commit 20cc5d4 into main Oct 29, 2026
7 of 8 checks passed
@hans-planetscale
hans-planetscale deleted the hans-remove-buildkite branch October 29, 2026 04:08
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