Is someone from the Pulumi team able to help with this? https://pulumi-community.slack.com/archives/CRH5ENVDX/p1654498884552529 It seems that Paul has gone on holidays or something

Have you opened an issue?

I haven’t, however Paul said he was going to get back to me

Please file an issue, it'll get triaged by the team that way