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

Polish MongoClients #44249

Merged
merged 1 commit into from
Nov 5, 2024
Merged

Polish MongoClients #44249

merged 1 commit into from
Nov 5, 2024

Conversation

geoand
Copy link
Contributor

@geoand geoand commented Nov 1, 2024

No description provided.

@quarkus-bot quarkus-bot
Copy link

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

Status for workflow Quarkus CI

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

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

You can consult the Develocity build scans.

@gsmet gsmet merged commit 4f49059 into quarkusio:main Nov 5, 2024
22 checks passed
@quarkus-bot quarkus-bot bot added this to the 3.17 - main milestone Nov 5, 2024
@geoand geoand deleted the mongo-polish branch November 5, 2024 09:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@gsmet gsmet gsmet approved these changes

Assignees
No one assigned
Labels
area/mongodb
Projects
None yet
Milestone
3.17.0.CR1
Development

Successfully merging this pull request may close these issues.
2 participants
@geoand @gsmet