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 d998f97ffac7491c4d6cfd1077a5e878b92bbddf.

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

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