Skip to content

Added support for records in Java - #3359

Merged
AndreasArvidsson merged 3 commits into
mainfrom
java-record
Sep 14, 2026
Merged

AndreasArvidsson merged 3 commits into
mainfrom
java-record

Conversation

@AndreasArvidsson

Copy link
Copy Markdown
Member

No description provided.

@AndreasArvidsson
AndreasArvidsson requested a review from a team as a code owner September 14, 2026 17:07
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Sep 14, 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-09-14T18:02:02.867400Z 614847c Manual request
ℹ️ 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.

@github-actions github-actions Bot added the lines/200-499 Pull request changes 200 to 499 lines label Sep 14, 2026
@github-actions github-actions Bot added lines/1000+ Pull request changes at least 1,000 lines and removed lines/200-499 Pull request changes 200 to 499 lines labels Sep 14, 2026
@AndreasArvidsson

Copy link
Copy Markdown
Member Author

@codex review

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. Swish!

Reviewed commit: 614847c3b2

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

@AndreasArvidsson
AndreasArvidsson merged commit ab675bd into main Sep 14, 2026
17 checks passed
@AndreasArvidsson
AndreasArvidsson deleted the java-record branch September 14, 2026 18:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

lines/1000+ Pull request changes at least 1,000 lines

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant