Skip to content

Conversation

sanych-sun
Copy link
Member

This PR fixes the used MongoDB version, however the variant is still not green because of another issue:
https://jira.mongodb.org/browse/DRIVERS-3250

@sanych-sun sanych-sun requested a review from a team as a code owner August 13, 2025 21:14
@sanych-sun sanych-sun requested review from adelinowona and removed request for a team August 13, 2025 21:14
@sanych-sun sanych-sun added the chore Label to hide PR from generated Release Notes label Aug 13, 2025
@sanych-sun sanych-sun merged commit 34b020c into mongodb:main Aug 13, 2025
13 of 16 checks passed
@sanych-sun sanych-sun deleted the csharp5702 branch August 13, 2025 21:35
BorisDog pushed a commit to BorisDog/mongo-csharp-driver that referenced this pull request Sep 30, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Label to hide PR from generated Release Notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants