Skip to content

Conversation

geoand
Copy link
Contributor

@geoand geoand commented Jul 24, 2025

No description provided.

@quarkus-bot quarkus-bot bot added the area/spring Issues relating to the Spring integration label Jul 24, 2025
Copy link

quarkus-bot bot commented Jul 24, 2025

Thanks for your pull request!

Your pull request does not follow our editorial rules. Could you have a look?

  • description should not be empty, describe your intent or provide links to the issues this PR is fixing (using Fixes #NNNNN) or changelogs

This message is automatically generated by a bot.

Copy link

quarkus-bot bot commented Jul 24, 2025

Status for workflow Quarkus CI

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

✅ 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.

@gsmet gsmet merged commit 6ca55e4 into quarkusio:main Jul 29, 2025
25 checks passed
@quarkus-bot quarkus-bot bot added this to the 3.26 - main milestone Jul 29, 2025
@geoand geoand deleted the spring-data-polish branch July 29, 2025 08:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/spring Issues relating to the Spring integration
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants