Skip to content

Conversation

phillip-kruger
Copy link
Member

This PR updates the Dev UI documentation with some new features and restructure the content a bit for a better flow.
It also now includes a introduction section (that is not specific to extension developers)

This comment has been minimized.

@phillip-kruger phillip-kruger changed the title Update Devui documentation Update Dev UI documentation Jun 19, 2025

This comment has been minimized.

This comment has been minimized.

Copy link

github-actions bot commented Jun 19, 2025

🙈 The PR is closed and the preview is expired.

@phillip-kruger phillip-kruger force-pushed the devui-documentation branch 2 times, most recently from d346f39 to b77ba78 Compare June 19, 2025 23:24
Signed-off-by: Phillip Kruger <[email protected]>
Copy link

quarkus-bot bot commented Jun 20, 2025

Status for workflow Quarkus Documentation CI

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

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

@phillip-kruger phillip-kruger merged commit 4aeb688 into quarkusio:main Jun 20, 2025
5 checks passed
@quarkus-bot quarkus-bot bot added this to the 3.25 - main milestone Jun 20, 2025
@gsmet gsmet modified the milestones: 3.25 - main, 3.24.1 Jun 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.

4 participants