Skip to content

Conversation

rolfedh
Copy link
Contributor

@rolfedh rolfedh commented Aug 12, 2025

Made copy-edits for style and clarity. Removed a duplicate note.

Copy link

quarkus-bot bot commented Aug 12, 2025

Status for workflow Quarkus Documentation CI

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

✅ 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 Aug 12, 2025

🙈 The PR is closed and the preview is expired.

@sberyozkin sberyozkin merged commit 72749e7 into quarkusio:main Aug 14, 2025
5 checks passed
@quarkus-bot quarkus-bot bot added this to the 3.28 - main milestone Aug 14, 2025
Copy link
Member

@FroMage FroMage left a comment

Choose a reason for hiding this comment

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

Too late, but LGTM :)

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.

4 participants