This message was deleted Pulumi Community #general

This message was deleted.

sparse-intern-71089

10/25/2022, 4:32 AM

This message was deleted.

billowy-army-68599

10/25/2022, 4:34 AM

please file an issue

👍 1

breezy-butcher-78604

10/25/2022, 4:41 AM

steep-sunset-89396

10/25/2022, 7:43 AM

@breezy-butcher-78604 we have PR in the pipe to address the crash https://github.com/pulumi/pulumi/pull/11141

🤘 1

2 Views