Skip to content

Conversation

@gsmet
Copy link
Member

@gsmet gsmet commented Apr 29, 2025

At the moment, if you drop the attribute but keep the note, the note is displayed with {extension-status} in the text which is not ideal.

Let's display the note only if the status is defined.

At the moment, if you drop the attribute but keep the note, the note is
displayed with `{extension-status}` in the text which is not ideal.

Let's display the note only if the status is defined.
@quarkus-bot quarkus-bot bot added area/docstyle issues related for manual docstyle review area/documentation labels Apr 29, 2025
@quarkus-bot
Copy link

quarkus-bot bot commented Apr 29, 2025

Status for workflow Quarkus Documentation CI

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

✅ 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 Apr 29, 2025

🙈 The PR is closed and the preview is expired.

@gsmet gsmet merged commit b93740b into quarkusio:main May 5, 2025
5 checks passed
@quarkus-bot quarkus-bot bot added this to the 3.23 - main milestone May 5, 2025
@gsmet gsmet modified the milestones: 3.23 - main, 3.22.2 May 6, 2025
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

None yet

Development

Successfully merging this pull request may close these issues.

1 participant