Skip to content

Conversation

jamesnetherton
Copy link
Contributor

Wondered why the config edit button was not showing up on my extension card in the Dev UI. Seems the docs point to metadata config-filter when it should be config.

Copy link

quarkus-bot bot commented Jul 1, 2025

Status for workflow Quarkus Documentation CI

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

✅ 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 Jul 1, 2025

🙈 The PR is closed and the preview is expired.

Copy link
Member

@phillip-kruger phillip-kruger left a comment

Choose a reason for hiding this comment

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

Good catch !

@phillip-kruger phillip-kruger merged commit 97f9708 into quarkusio:main Jul 1, 2025
5 checks passed
@quarkus-bot quarkus-bot bot added this to the 3.25 - main milestone Jul 1, 2025
@gsmet gsmet modified the milestones: 3.25 - main, 3.24.2 Jul 1, 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