Any ideas on how to work around this bug https://github.com/pulumi/pulumi/issues/7890 ? Downgrade pulumi version for the whole team? Or can we do something in our code to work around it