Skip to content

feat: improve build status updates#875

Merged
drbh merged 1 commit into
mainfrom
report-build-outcome-improved
May 19, 2026
Merged

feat: improve build status updates#875
drbh merged 1 commit into
mainfrom
report-build-outcome-improved

Conversation

@drbh
Copy link
Copy Markdown
Collaborator

@drbh drbh commented May 19, 2026

follow up on #874 to improve the status updates

@drbh drbh requested a review from danieldk as a code owner May 19, 2026 01:19
@drbh drbh merged commit 0e07b01 into main May 19, 2026
5 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