Closed tgummerer closed 1 month ago
:grimacing: I missed that comment, thanks for catching it! Yes we should!
https://github.com/pulumi/pulumi/pull/17209 has the changes. We can merge this after merging and releasing that.
Looks like https://github.com/pulumi/pulumi/pull/17209 has shipped via v3.134.0
Indeed, thank you! I submitted a PR to update the pulumi version in this repo here: https://github.com/pulumi/actions/pull/1287
Once that's merged I think we can go ahead with the release!
With https://github.com/pulumi/actions/pull/1287 merged this should be unblocked.
This includes a breaking change from https://github.com/pulumi/actions/pull/1118, so we should release a new major version.