Skip to content

Update GitHub Actions workflows.#332

Closed
pulumi-provider-automation[bot] wants to merge 1 commit into
masterfrom
update-github-actions-workflows-1245
Closed

Update GitHub Actions workflows.#332
pulumi-provider-automation[bot] wants to merge 1 commit into
masterfrom
update-github-actions-workflows-1245

Conversation

@pulumi-provider-automation

Copy link
Copy Markdown
Contributor

This PR was triggered by @t0yv0 generated by the update-workflows-ecosystem-providers workflow in the pulumi/ci-mgmt repo, from commit d5aaff8307e1df32fc0450ecebfd6f105b69250e.

Rebasing this PR

If this PR falls behind master on pulumi-std and needs to be regenerated against the latest tip, dispatch update-workflows-single-bridged-provider:

gh workflow run update-workflows-single-bridged-provider.yml \
  --repo pulumi/ci-mgmt \
  -f provider_name=std \
  -f automerge=false

That re-runs this same workflow against current ci-mgmt master, closes this stale PR (via the "obsolete PR" cleanup step above), and opens a fresh one rebased on the provider's current master.

@pulumi-provider-automation pulumi-provider-automation Bot requested a review from a team as a code owner July 13, 2026 07:16
@pulumi-provider-automation pulumi-provider-automation Bot added the impact/no-changelog-required This issue doesn't require a CHANGELOG update label Jul 13, 2026
@pulumi-provider-automation pulumi-provider-automation Bot enabled auto-merge (squash) July 13, 2026 07:16
@github-actions

Copy link
Copy Markdown

Does the PR have any schema changes?

Looking good! No breaking changes found.
No new resources/functions.

auto-merge was automatically disabled July 14, 2026 07:10

Pull request was closed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

impact/no-changelog-required This issue doesn't require a CHANGELOG update

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant