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

hey <@UUL4J2Y1L> -is there an open issue for this?

<https://github.com/pulumi/pulumi/issues/3991|https://github.com/pulumi/pulumi/issues/3991>
<https://github.com/pulumi/pulumi/issues/4168|https://github.com/pulumi/pulumi/issues/4168>

which apparently are fixed, but we still see them? We run the bleeding edge version of pulumi

gonna file an issue with a case tomorrow morning