refactor: convert ElementAttribute to record #318

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merged

tcheeric merged 1 commit into develop from wztagx-codex/refactor-elementattribute-to-use-record

Aug 11, 2025

Owner

tcheeric commented Aug 11, 2025

Summary

replace Lombok-backed ElementAttribute with a Java record
update message/tag handling to use new record constructor and accessors
adjust tests and serializers for record-based attributes

Testing

mvn -q verify (fails: Could not find a valid Docker environment)

https://chatgpt.com/codex/tasks/task_b_68994d83fad083318dccbb437e69fd43


          refactor: convert ElementAttribute to record

98890d4

tcheeric added the codex label

— with

ChatGPT Codex Connector

tcheeric merged commit 56e316e into develop

1 check passed

tcheeric deleted the wztagx-codex/refactor-elementattribute-to-use-record branch

August 11, 2025 02:11

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels