Skip to content

Comments

Remove Pulumi deployment and switch to gcloud run#93

Merged
mre merged 1 commit intomainfrom
remove-pulumi-main
Feb 20, 2026
Merged

Remove Pulumi deployment and switch to gcloud run#93
mre merged 1 commit intomainfrom
remove-pulumi-main

Conversation

@mre
Copy link
Member

@mre mre commented Feb 20, 2026

Simpler and we don't need the additional knobs.

Simpler and we don't need the additional knobs.
@mre mre mentioned this pull request Feb 20, 2026
@mre mre merged commit ec208fd into main Feb 20, 2026
2 checks passed
@mre mre deleted the remove-pulumi-main branch February 20, 2026 15:50
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.

1 participant