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.

Sign up for GitHub

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

Jump to bottom

Config Doc - Expand enums even if tooltip is not supported #43633

Merged
merged 2 commits into from
Oct 2, 2024
Merged

Config Doc - Expand enums even if tooltip is not supported #43633

merged 2 commits into from
Oct 2, 2024

Conversation

gsmet
Copy link
Member

@gsmet gsmet commented Oct 1, 2024

This was an oversight.

Fixes #43307

@quarkus-bot quarkus-bot bot added the area/devtools Issues/PR related to maven, gradle, platform and cli tooling/plugins label Oct 1, 2024
@gsmet gsmet mentioned this pull request Oct 1, 2024
Closed
@quarkus-bot quarkus-bot
Copy link

quarkus-bot bot commented Oct 1, 2024 •
edited by github-actions bot
Loading

Status for workflow Quarkus CI

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

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

Warning

There are other workflow runs running, you probably need to wait for their status before merging.

You can consult the Develocity build scans.

@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 1, 2024

🎊 PR Preview 7aa6f66 has been successfully built and deployed to https://quarkus-pr-main-43633-preview.surge.sh/version/main/guides/

  • Images of blog posts older than 3 months are not available.
  • Newsletters older than 3 months are not available.

@quarkus-bot quarkus-bot
Copy link

quarkus-bot bot commented Oct 1, 2024

Status for workflow Quarkus Documentation CI

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

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

@gsmet gsmet requested a review from gastaldi October 1, 2024 17:14
@gsmet gsmet merged commit d21b371 into quarkusio:main Oct 2, 2024
22 checks passed
@quarkus-bot quarkus-bot bot added this to the 3.16 - main milestone Oct 2, 2024
@gsmet gsmet modified the milestones: 3.16.0.CR1, 3.15.2 Oct 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@gastaldi gastaldi gastaldi approved these changes

Assignees
No one assigned
Labels
area/devtools Issues/PR related to maven, gradle, platform and cli tooling/plugins kind/bugfix
Projects
None yet
Milestone
3.15.2
Development

Successfully merging this pull request may close these issues.

Enum values are not displayed in extension documentation
2 participants
@gsmet @gastaldi