Skip to content

chore: running make build command#325

Merged
srushti-patl merged 1 commit into
mainfrom
release-pulumi
Dec 23, 2025
Merged

chore: running make build command#325
srushti-patl merged 1 commit into
mainfrom
release-pulumi

Conversation

@srushti-patl

Copy link
Copy Markdown
Contributor

No description provided.

@github-actions

Copy link
Copy Markdown

Does the PR have any schema changes?

Does the PR have any schema changes?

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

Maintainer note: consult the runbook for dealing with any breaking changes.

@srushti-patl srushti-patl merged commit cddd483 into main Dec 23, 2025
7 of 13 checks passed
@srushti-patl srushti-patl deleted the release-pulumi branch December 23, 2025 18:40
@github-actions

Copy link
Copy Markdown

This PR is included in version 0.28.0 🎉

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants