Skip to content

Conversation

@jerboaa
Copy link
Contributor

@jerboaa jerboaa commented Dec 9, 2025

Follow up to:
#51432

Tiny clean-up since those are no longer in use throughout the code-base.

@quarkus-bot quarkus-bot bot added the area/core label Dec 9, 2025
@jerboaa
Copy link
Contributor Author

jerboaa commented Dec 9, 2025

/cc @zakkak

@quarkus-bot

This comment has been minimized.

Copy link
Contributor

@zakkak zakkak left a comment

Choose a reason for hiding this comment

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

Thank you @jerboaa!

@quarkus-bot
Copy link

quarkus-bot bot commented Dec 10, 2025

Status for workflow Quarkus CI

This is the status report for running Quarkus CI on commit cbbc6cd.

✅ 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 1baf912 into quarkusio:main Dec 10, 2025
124 of 126 checks passed
@quarkus-bot quarkus-bot bot added this to the 3.31 - main milestone Dec 10, 2025
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.

3 participants