Skip to content

fix(codex-cli): improve ripgrep download diagnostics#8486

Merged
joshka-oai merged 2 commits intomainfrom
joshka/fix-rg-download-diagnostics
Dec 23, 2025
Merged

fix(codex-cli): improve ripgrep download diagnostics#8486
joshka-oai merged 2 commits intomainfrom
joshka/fix-rg-download-diagnostics

Conversation

@joshka-oai
Copy link
Collaborator

When rg download fails during npm package staging, log the target/platform/url and preserve the original exception as the cause. Emit GitHub Actions log groups and error annotations so the failure is easier to spot.

Document why a urlopen timeout is set (the default can hang indefinitely).

This is to make failures in the specific build step easier to understand / work out what's failing rather than having a big wall of text (or at least having an obvious part of it that helps narrow that wall)

When rg download fails during npm package staging, log the target/platform/url
and preserve the original exception as the cause. Emit GitHub Actions log
groups and error annotations so the failure is easier to spot.

Document why a urlopen timeout is set (the default can hang indefinitely).
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR improves diagnostics when ripgrep downloads fail during npm package staging by adding structured error reporting and GitHub Actions integration. The changes focus on making build failures easier to identify and debug in CI environments.

Key changes:

  • Added GitHub Actions log groups and error annotations for better CI visibility
  • Enhanced error messages with target, platform, and URL context when downloads fail
  • Documented the urlopen timeout rationale to prevent indefinite hangs

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
@joshka-oai joshka-oai enabled auto-merge (squash) December 23, 2025 21:05
@joshka-oai joshka-oai disabled auto-merge December 23, 2025 21:05
@joshka-oai joshka-oai enabled auto-merge (squash) December 23, 2025 21:06
@joshka-oai joshka-oai merged commit f2b740c into main Dec 23, 2025
26 checks passed
@joshka-oai joshka-oai deleted the joshka/fix-rg-download-diagnostics branch December 23, 2025 21:18
@github-actions github-actions bot locked and limited conversation to collaborators Dec 23, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants