This message was deleted.

sparse-intern-71089

06/24/2019, 5:20 PM

This message was deleted.

white-balloon-205

06/24/2019, 5:31 PM

That sounds like a bug - could you open an issue in

pulumi/pulumi

plain-businessperson-30883

06/24/2019, 5:34 PM

Sure.

plain-businessperson-30883

06/24/2019, 5:35 PM

https://github.com/pulumi/pulumi/issues/2873

Open in Slack

Previous Next

Pulumi Community

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.