Skip to content

ci: adapt the Android writer_lock.rs patch to the codex 0.166.0 try_lock loop - #241

Merged
bash0816 merged 1 commit into
mainfrom
fix/writer-lock-patch-0.166
Oct 31, 2026
Merged

bash0816 merged 1 commit into
mainfrom
fix/writer-lock-patch-0.166

Conversation

@bash0816

Copy link
Copy Markdown
Owner

Upstream codex 0.166.0 replaced the blocking file.lock() in lock_coordination() with a 30-second try_lock() retry loop, so the Android writer_lock.rs patch no longer matched and the build stopped at "Apply Android build patches".

This keeps the existing 0.165.0 pattern and adds the 0.166.0 one. On Android the new loop calls the existing android_try_flock_exclusive helper (std returns Unsupported there); the non-Android loop is kept verbatim. The state check now fails on mixed, duplicated or partially applied patterns instead of silently skipping them.

Only the inline Python of the writer_lock.rs step in external-build-android-aarch64.yml changes.

🤖 Generated with Claude Code

…ock loop

Keep the 0.165.0 pattern and add the 0.166.0 one; treat mixed or duplicated patterns as errors.

Co-Authored-By: Claude Haiku 5.5 <noreply@anthropic.com>
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Oct 30, 2026 •

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-10-30T20:44:23.150860Z 8c7f8ed PR opened
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@bash0816
bash0816 merged commit e48f448 into main Oct 31, 2026
2 checks passed
@bash0816
bash0816 deleted the fix/writer-lock-patch-0.166 branch October 31, 2026 00:19
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