Skip to content

feat: add ci3/post_github_status utility and denoise failure surfacing#21397

Merged
ludamad merged 1 commit intonextfrom
claudebox/ci3-status-check-utilities
Mar 12, 2026
Merged

feat: add ci3/post_github_status utility and denoise failure surfacing#21397
ludamad merged 1 commit intonextfrom
claudebox/ci3-status-check-utilities

Conversation

@AztecBot
Copy link
Collaborator

@AztecBot AztecBot commented Mar 12, 2026

Summary

  • Adds ci3/post_github_status — reusable utility for posting GitHub commit statuses (no-op when CI!=1)
  • Integrates into denoise — any denoised command that fails in CI auto-posts a failure status with a direct link to the log
  • Adds pending/success/failure statuses to bootstrap_ec2 (per-job) and ci.sh multi_job_run (aggregate)
  • Prints CI log URL at end of bootstrap_ec2 output for easy access

@AztecBot AztecBot added the claudebox Owned by claudebox. it can push to this PR. label Mar 12, 2026
@ludamad ludamad marked this pull request as ready for review March 12, 2026 04:10
@ludamad ludamad requested a review from charlielye as a code owner March 12, 2026 04:10
@AztecBot AztecBot force-pushed the claudebox/ci3-status-check-utilities branch from c414508 to 81a8c5d Compare March 12, 2026 04:27
## Summary

- Adds `ci3/post_github_status` — reusable utility for posting GitHub commit statuses (no-op when `CI!=1`)
- Integrates into `denoise` — any denoised command that fails in CI auto-posts a `failure` status with a direct link to the log
- Adds pending/success/failure statuses to `bootstrap_ec2` (per-job) and `ci.sh multi_job_run` (aggregate)
- Prints CI log URL at end of `bootstrap_ec2` output for easy access
@AztecBot AztecBot force-pushed the claudebox/ci3-status-check-utilities branch from 429c187 to 34471f1 Compare March 12, 2026 15:55
@ludamad ludamad added this pull request to the merge queue Mar 12, 2026
Merged via the queue into next with commit 2d57bca Mar 12, 2026
19 checks passed
@ludamad ludamad deleted the claudebox/ci3-status-check-utilities branch March 12, 2026 16:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

claudebox Owned by claudebox. it can push to this PR.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants