No matter how you like to participate in developer communities, Pulumi wants to meet you there. If you want to meet other Pulumi users to share use-cases and best practices, contribute code or documentation, see us at an event, or just tell a story about something cool you did with Pulumi, you are part of our community.

Pulumi Community

Hi <@U01REF1TC5T>, this was done in July last year:
<https://github.com/pulumi/setup-pulumi/commit/4c13375595fc235fbd7aa06f175da4dca636de89#diff-4fab5baaca5c14d2de62d8d2fceef376ddddcc8e9509d86cfa5643f51b89ce3dR13>

Thanks. This just took effect for github actions code last week.