This message was deleted.

@hundreds-musician-51496 I think this is due to https://github.com/pulumi/pulumi/issues/2217 which is fixed and released, but we haven't yet updated the default installer link to the new release. For now you can get it at https://get.pulumi.com/releases/sdk/pulumi-v0.16.5-windows-x64.zip, and we'll be updating to make that the default in the next couple hours. cc @bitter-oil-46081

Cool, sounds good. Thank you.

Yes, this is the issue @white-balloon-205 linked to. Either adopting the newer version or just doing the rename manually, as you did, will work.