Skip to content

Regen dev version [email protected] - #22454

Merged
pulumi-bot merged 1 commit into
masterfrom
pulumi/39878219313-4187
Oct 23, 2026
Merged

pulumi-bot merged 1 commit into
masterfrom
pulumi/39878219313-4187

Conversation

@pulumi-bot

Copy link
Copy Markdown
Collaborator

Automated PR

@github-actions

Copy link
Copy Markdown
Contributor

Sentinel — merge gate status

Not governed — author pulumi-bot with label automation/merge is listed in not_governed.author_label_pairs (.github/review-routing.yml not_governed). This automation lane merges on its own checks; the Sentinel evaluates no gates for it.


Need help, or think a gate got it wrong? Ask in #docs on Slack.

@pulumi-bot

Copy link
Copy Markdown
Collaborator Author

@pulumi-bot
pulumi-bot merged commit f46c8e0 into master Oct 23, 2026
16 checks passed
@pulumi-bot
pulumi-bot deleted the pulumi/39878219313-4187 branch October 23, 2026 00:44

This branch was successfully deployed

1 active and 1 inactive deployments
production — ef6e5f4d Deployed Oct 23, 2026 by pulumi-bot via Record review outcome #14902
testing — ef6e5f4d Deployed Oct 23, 2026 by pulumi-bot via Do cleanup #14902
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.

1 participant