Skip to content
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.

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

Support Java Records in bytecode recorders #38091

Merged
merged 1 commit into from
Jan 9, 2024

Conversation

geoand
Copy link
Contributor

@geoand geoand commented Jan 8, 2024

No description provided.

@quarkus-bot quarkus-bot bot added the area/core label Jan 8, 2024
@geoand geoand requested a review from gastaldi January 8, 2024 15:55
Copy link
Contributor

@gastaldi gastaldi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice!

@gastaldi gastaldi added the triage/waiting-for-ci Ready to merge when CI successfully finishes label Jan 8, 2024
Copy link

quarkus-bot bot commented Jan 8, 2024

✔️ The latest workflow run for the pull request has completed successfully.

It should be safe to merge provided you have a look at the other checks in the summary.

You can consult the Develocity build scans.

@geoand geoand merged commit fca79fe into quarkusio:main Jan 9, 2024
50 checks passed
@quarkus-bot quarkus-bot bot added this to the 3.7 - main milestone Jan 9, 2024
@quarkus-bot quarkus-bot bot removed the triage/waiting-for-ci Ready to merge when CI successfully finishes label Jan 9, 2024
@geoand geoand deleted the bytecode-recording-records branch January 9, 2024 06:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants