https://pulumi.com logo
b

bored-oyster-3147

03/30/2021, 4:28 PM
that must be a bug then, could you open an issue for it?