Skip to content

Conversation

mkouba
Copy link
Contributor

@mkouba mkouba commented Jun 13, 2025

No description provided.

Copy link

quarkus-bot bot commented Jun 13, 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 Jun 13, 2025

Status for workflow Quarkus Documentation CI

This is the status report for running Quarkus Documentation CI on commit 77ba0b9.

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

Copy link

github-actions bot commented Jun 13, 2025

🙈 The PR is closed and the preview is expired.

@gsmet gsmet merged commit b8ce945 into quarkusio:main Jun 13, 2025
5 checks passed
@quarkus-bot quarkus-bot bot added this to the 3.25 - main milestone Jun 13, 2025
@gsmet gsmet modified the milestones: 3.25 - main, 3.24.0 Jun 14, 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.

2 participants