Skip to content

Conversation

mongodb-devtools-bot[bot]
Copy link
Contributor

  • Bumps auxiliary package versions. Merging will trigger a release of these packages.

@mongodb-devtools-bot mongodb-devtools-bot bot requested a review from a team as a code owner October 3, 2025 15:25
@mongodb-devtools-bot mongodb-devtools-bot bot added the no-title-validation Skips validation of PR titles (conventional commit adherence + JIRA ticket inclusion) label Oct 3, 2025
@addaleax addaleax merged commit d6e3e2e into main Oct 3, 2025
18 of 19 checks passed
@addaleax addaleax deleted the ci/bump-auxiliary-packages branch October 3, 2025 15:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no-title-validation Skips validation of PR titles (conventional commit adherence + JIRA ticket inclusion)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant