Skip to content

Conversation

@gsmet
Copy link
Member

@gsmet gsmet commented Dec 24, 2025

Also fixes two micro typos.

@quarkus-bot
Copy link

quarkus-bot bot commented Dec 24, 2025

Status for workflow Quarkus Documentation CI

This is the status report for running Quarkus Documentation CI on commit 7bdf9d6.

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

@github-actions
Copy link

github-actions bot commented Dec 24, 2025

🙈 The PR is closed and the preview is expired.

@gsmet gsmet merged commit 104e381 into quarkusio:main Dec 24, 2025
5 checks passed
@quarkus-bot quarkus-bot bot added this to the 3.31 - main milestone Dec 24, 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