Skip to content

[Codex] Add app-server protocol generation#318826

Merged
Giuspepe merged 1 commit into
mainfrom
gcianci/codex-app-server/setup
Jun 1, 2026
Merged

[Codex] Add app-server protocol generation#318826
Giuspepe merged 1 commit into
mainfrom
gcianci/codex-app-server/setup

Conversation

@Giuspepe
Copy link
Copy Markdown
Contributor

@Giuspepe Giuspepe commented May 28, 2026

Part 1 of 4 in the Codex app-server stack.

This PR adds the non-agent-host setup needed to generate Codex app-server protocol types:

  • Adds npm run codex:gen-protocol and the generator script under build/codex/.
  • Records the generated Codex protocol source version in build/codex/codex-version.txt.
  • Adds the @openai/codex dev dependency used by the generator.
  • Marks the generated Codex protocol folder read-only in workspace settings.

This PR intentionally does not add src/vs/platform/agentHost runtime code; that is split into later stack entries.

Copilot AI review requested due to automatic review settings May 28, 2026 19:28
@Giuspepe Giuspepe changed the title gcianci/codex app server/setup [Codex] Add app-server protocol generation May 28, 2026
Copy link
Copy Markdown
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.

Copilot encountered an error and was unable to review this pull request. You can try again by re-requesting a review.

@Giuspepe Giuspepe force-pushed the gcianci/codex-app-server/setup branch from c8f1a88 to a8fbed4 Compare May 28, 2026 20:29
@Giuspepe Giuspepe force-pushed the gcianci/codex-app-server/setup branch 4 times, most recently from e453a59 to d8c7af6 Compare May 29, 2026 16:42
@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented May 29, 2026

Base: 841d3b6b Current: adc380ef

No screenshot changes.

@Giuspepe Giuspepe marked this pull request as ready for review May 29, 2026 17:30
@Giuspepe Giuspepe force-pushed the gcianci/codex-app-server/setup branch from d8c7af6 to 8f06d80 Compare May 29, 2026 20:20
@Giuspepe Giuspepe merged commit 20830ab into main Jun 1, 2026
25 checks passed
@Giuspepe Giuspepe deleted the gcianci/codex-app-server/setup branch June 1, 2026 09:48
@vs-code-engineering vs-code-engineering Bot added this to the 1.124.0 milestone Jun 1, 2026
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.

3 participants