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

could you open an issue for this? i’ll get the engineers to take a look

hi <@U03R8UB65LZ> - following up here, perhaps I wasn’t clear. I asked for an issue, not a support ticket: <https://github.com/pulumi/pulumi-cdk/issues?q=is%3Aissue+is%3Aopen+sort%3Aupdated-desc>