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 9575e75e5316d699a77abf48a351abe840e1bed5.

@pulumi-bot pulumi-bot added the impact/no-changelog-required This issue doesn't require a CHANGELOG update label Nov 20, 2025
@pulumi-bot pulumi-bot enabled auto-merge (squash) November 20, 2025 05:30
@pulumi-bot pulumi-bot closed this Nov 21, 2025
auto-merge was automatically disabled November 21, 2025 05:32

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