Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[3.8] Small documentation enhancement/formating #41562

Merged
merged 1 commit into from
Jul 1, 2024

Conversation

rolfedh
Copy link
Contributor

@rolfedh rolfedh commented Jun 28, 2024

Cherry Picked from 960d6da
xref: #39867
Purpose: To ensure consistency between the two branches

@quarkus-bot quarkus-bot bot added area/docstyle issues related for manual docstyle review area/documentation labels Jun 28, 2024
@quarkus-bot
Copy link

quarkus-bot bot commented Jun 28, 2024

Status for workflow Quarkus Documentation CI

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

✅ 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 28, 2024

🙈 The PR is closed and the preview is expired.

@gsmet gsmet merged commit 1e1599b into quarkusio:3.8 Jul 1, 2024
5 checks passed
@gsmet gsmet added this to the 3.8.6 milestone Jul 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/docstyle issues related for manual docstyle review area/documentation
Projects
Development

Successfully merging this pull request may close these issues.

3 participants