we use pulumi with github actions