Skip to content

Conversation

metacosm
Copy link
Contributor

Co-authored-by: Lars [email protected]

@geoand geoand added the triage/waiting-for-ci Ready to merge when CI successfully finishes label Jul 10, 2025
Copy link

quarkus-bot bot commented Jul 10, 2025

Status for workflow Quarkus Documentation CI

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

✅ 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 10, 2025

🙈 The PR is closed and the preview is expired.

@geoand geoand merged commit c804b9c into quarkusio:main Jul 10, 2025
5 checks passed
@quarkus-bot quarkus-bot bot added this to the 3.25 - main milestone Jul 10, 2025
@quarkus-bot quarkus-bot bot removed the triage/waiting-for-ci Ready to merge when CI successfully finishes label Jul 10, 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.

2 participants