Skip to content

feat: use ProcessId in exec-server#15866

Merged
jif-oai merged 2 commits intomainfrom
jif/process-id-2
Mar 26, 2026
Merged

feat: use ProcessId in exec-server#15866
jif-oai merged 2 commits intomainfrom
jif/process-id-2

Conversation

@jif-oai
Copy link
Collaborator

@jif-oai jif-oai commented Mar 26, 2026

Use a full struct for the ProcessId to increase readability and make it easier in the future to make it evolve if needed

@jif-oai
Copy link
Collaborator Author

jif-oai commented Mar 26, 2026

@codex review

@chatgpt-codex-connector
Copy link
Contributor

Codex Review: Didn't find any major issues. Keep them coming!

ℹ️ 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".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@jif-oai jif-oai merged commit 6d2f4aa into main Mar 26, 2026
36 checks passed
@jif-oai jif-oai deleted the jif/process-id-2 branch March 26, 2026 15:45
@github-actions github-actions bot locked and limited conversation to collaborators Mar 26, 2026
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.

1 participant