No matter how you like to participate in developer communities, Pulumi wants to meet you there. If you want to meet other Pulumi users to share use-cases and best practices, contribute code or documentation, see us at an event, or just tell a story about something cool you did with Pulumi, you are part of our community.

Pulumi Community

staff are going to ask you to make a ticket on github with steps you used to reproduce it.

Hi Thomas, thanks for reporting. Is this the same as <https://github.com/pulumi/pulumi/issues/13981>?
If so, feel free to upvote that so we can better prioritize it.