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

No, but I imagine it’s easy enough feature to add. 

If you wouldn’t mind, could you open an issue to track the request? IMO we’d accept a PR for this feature. 

Issue created (<https://github.com/pulumi/actions/issues/932>)
If no one tackles it before my health is back up, I will try to work on a PR to solve it.

Thanks!

Just to let anyone know, the feature already exists. Details in <https://github.com/pulumi/actions/pull/68>. I will maintain the issue opened so someone can adjust the docs to reflect this.