Skip to content

fix: expose review progress to client adopters - #2656

Merged
jeremi merged 2 commits into
mainfrom
fix/review-progress-adopter-fixes
Nov 12, 2026
Merged

jeremi merged 2 commits into
mainfrom
fix/review-progress-adopter-fixes

Conversation

@jeremi

@jeremi jeremi commented Nov 12, 2026 •

Copy link
Copy Markdown
Member

Follow-up to #2655.

Changes

  • Export ReviewProgressCode through the unified Rust BReg and Casework namespaces so consumers can name the type from the facade.
  • Preserve publicProgressCode in Casework policy descriptions returned by the client. The regression covers stages with and without a code alongside an unknown response member.
  • Document the applicant progress opt-in in the public API reference, client reference, and Node.js and Python package READMEs.

Verification

  • Rust facade and Casework client suites, including the HTTP description regression
  • Cargo formatting and Clippy for both client crates
  • API reference regression and the full documentation check

Signed-off-by: Jeremi Joslin <jeremi@joslin.fr>
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Nov 12, 2026 •

Copy link
Copy Markdown
Codex Review Summary: ✅ Completed

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

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-11-12T06:58:37.592390Z e797e49 New commits
ℹ️ 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.

Signed-off-by: Jeremi Joslin <jeremi@joslin.fr>
@jeremi
jeremi added this pull request to the merge queue Nov 12, 2026
Merged via the queue into main with commit c24b27c Nov 12, 2026
72 checks passed
@jeremi
jeremi deleted the fix/review-progress-adopter-fixes branch November 12, 2026 09:15
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