Skip to content

feat: report build outcome as comment on PR that triggered build#874

Merged
drbh merged 2 commits into
mainfrom
report-build-outcome
May 19, 2026
Merged

feat: report build outcome as comment on PR that triggered build#874
drbh merged 2 commits into
mainfrom
report-build-outcome

Conversation

@drbh
Copy link
Copy Markdown
Collaborator

@drbh drbh commented May 19, 2026

This PR adds a step to report the build outcome to the PR that trigged the the build.

@drbh drbh requested a review from danieldk as a code owner May 19, 2026 00:43
@drbh
Copy link
Copy Markdown
Collaborator Author

drbh commented May 19, 2026

optimistically merging as this adds a small step that write a comment on the PR that triggered the build and needs to be merged to test. will revert if any issues

@drbh drbh merged commit 784274b into main May 19, 2026
4 checks passed
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.

1 participant