Skip to content

Conversation

beikov
Copy link
Contributor

@beikov beikov commented Jul 8, 2025

No description provided.

@quarkus-bot quarkus-bot bot added the area/infra-automation anything related to CI, bots, etc. that are used to automated our infrastructure label Jul 8, 2025
Copy link

quarkus-bot bot commented Jul 8, 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.

@gsmet gsmet merged commit c2f5447 into quarkusio:main Jul 8, 2025
4 checks passed
@quarkus-bot quarkus-bot bot added this to the 3.25 - main milestone Jul 8, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/infra-automation anything related to CI, bots, etc. that are used to automated our infrastructure

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants