Update actions/checkout action to v4 #82
Merged
Pulumi / infra/prod - Refresh
succeeded
Sep 6, 2023 in 1m 18s
Refresh
🍹 The Refresh for pulumiverse/infra/prod was successful.
Visit the Pulumi Service for more information.
Details
Resource Changes
Name Type Operation
~ infra github:index/repository:Repository update
Loading