Skip to content

Conversation

@pulumi-bot
Copy link
Contributor

This PR was automatically generated by the update-workflows-ecosystem-providers workflow in the pulumi/ci-mgmt repo, from commit 0481e71b7b3e50d91867dd45743892120e5b5a53.

@pulumi-bot pulumi-bot added the impact/no-changelog-required This issue doesn't require a CHANGELOG update label Dec 2, 2025
@pulumi-bot pulumi-bot enabled auto-merge (squash) December 2, 2025 06:25
@pulumi-bot pulumi-bot closed this Dec 3, 2025
auto-merge was automatically disabled December 3, 2025 23:18

Pull request was closed

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

Labels

impact/no-changelog-required This issue doesn't require a CHANGELOG update

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant