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.

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

Updated scheduler docs (tracing) #37484

Merged
merged 1 commit into from Dec 5, 2023

Conversation

mskacelik
Copy link
Contributor

/cc @mkouba

Copy link

github-actions bot commented Dec 4, 2023

🙈 The PR is closed and the preview is expired.

@mskacelik mskacelik force-pushed the scheduler-docs-tracing-update branch from 2120b1b to 90c8a86 Compare December 4, 2023 14:18
@mskacelik mskacelik force-pushed the scheduler-docs-tracing-update branch from 90c8a86 to ab721f4 Compare December 4, 2023 15:02
Quarkus Documentation automation moved this from To do to Reviewer approved Dec 4, 2023
@mkouba mkouba added the triage/waiting-for-ci Ready to merge when CI successfully finishes label Dec 4, 2023
@gsmet gsmet merged commit 7a20eef into quarkusio:main Dec 5, 2023
5 checks passed
Quarkus Documentation automation moved this from Reviewer approved to Done Dec 5, 2023
@quarkus-bot quarkus-bot bot removed the triage/waiting-for-ci Ready to merge when CI successfully finishes label Dec 5, 2023
@quarkus-bot quarkus-bot bot added this to the 3.7 - main milestone Dec 5, 2023
@gsmet
Copy link
Member

gsmet commented Dec 5, 2023

Thanks @mskacelik !

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Development

Successfully merging this pull request may close these issues.

None yet

3 participants