Skip to content

Conversation

@gsmet
Copy link
Member

@gsmet gsmet commented Dec 17, 2025

We had several complaints that it was hard to notice people would use their favorite logging API so I made it a lot more explicit.

Also I made the APIs titles so that they could be included in the TOC.

Screenshot From 2025-12-17 18-21-04

We had several complaints that it was hard to notice people would use
their favorite logging API so I made it a lot more explicit.

Also I made the APIs titles so that they could be included in the TOC.
@quarkus-bot quarkus-bot bot added area/docstyle issues related for manual docstyle review area/documentation labels Dec 17, 2025
@quarkus-bot
Copy link

quarkus-bot bot commented Dec 17, 2025

Status for workflow Quarkus Documentation CI

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

✅ 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 Dec 17, 2025

🙈 The PR is closed and the preview is expired.

@gsmet gsmet merged commit 84d6d1a into quarkusio:main Dec 18, 2025
5 checks passed
@quarkus-bot quarkus-bot bot added this to the 3.31 - main milestone Dec 18, 2025
@gsmet gsmet modified the milestones: 3.31 - main, 3.30.5 Dec 23, 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.

2 participants