Skip to content

Conversation

MichalMaler
Copy link
Contributor

@MichalMaler MichalMaler commented May 20, 2025

Creating a better leading sentence for the OpenTelemetry Logging use case.

@MichalMaler MichalMaler marked this pull request as draft May 20, 2025 10:27
@quarkus-bot quarkus-bot bot added area/docstyle issues related for manual docstyle review area/documentation labels May 20, 2025
Copy link

quarkus-bot bot commented May 20, 2025

Thanks for your pull request!

Your pull request does not follow our editorial rules. Could you have a look?

  • title should preferably start with an uppercase character (if it makes sense!)

This message is automatically generated by a bot.

Copy link

github-actions bot commented May 20, 2025

🙈 The PR is closed and the preview is expired.

@MichalMaler MichalMaler force-pushed the pipeline-testing-PR-main branch from ef4d143 to 5fd113f Compare May 22, 2025 10:01
@MichalMaler MichalMaler self-assigned this May 22, 2025
@MichalMaler MichalMaler marked this pull request as ready for review May 22, 2025 10:02
@MichalMaler MichalMaler requested a review from Ladicek May 22, 2025 10:02
@MichalMaler MichalMaler changed the title [Do not Merge] Testing PR for our docs downstreaming pipeline A better leading sentence for the OpenTelemetry Logging use case May 22, 2025
Copy link

quarkus-bot bot commented May 22, 2025

Status for workflow Quarkus Documentation CI

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

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

@MichalMaler MichalMaler added the triage/waiting-for-ci Ready to merge when CI successfully finishes label May 22, 2025
@Ladicek Ladicek merged commit 60a4e04 into quarkusio:main May 22, 2025
5 checks passed
@quarkus-bot quarkus-bot bot added this to the 3.24 - main milestone May 22, 2025
@quarkus-bot quarkus-bot bot removed the triage/waiting-for-ci Ready to merge when CI successfully finishes label May 22, 2025
@MichalMaler MichalMaler deleted the pipeline-testing-PR-main branch May 22, 2025 13:04
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