Skip to content

chore(deps): update devtools-shared-dev to latest#8278

Open
mongodb-devtools-bot[bot] wants to merge 1 commit into
mainfrom
ci/update-devtools-shared-dev
Open

chore(deps): update devtools-shared-dev to latest#8278
mongodb-devtools-bot[bot] wants to merge 1 commit into
mainfrom
ci/update-devtools-shared-dev

Conversation

@mongodb-devtools-bot

Copy link
Copy Markdown
Contributor

This PR is automatically generated and updates the versions of the dependency group devtools-shared-dev to latest version.

If CI is green on this patch or you just see some known flaky tasks failing, just leave it as-is: the bot will either trigger a restart for the tasks or will automerge it later

If CI is red and you think that failures are related to the version updates, you should raise an issue, so that it can be manually resolved and we can continue to update the package group to latest.

@mongodb-devtools-bot
mongodb-devtools-bot Bot requested a review from a team as a code owner July 24, 2026 00:51
@mongodb-devtools-bot mongodb-devtools-bot Bot added bot no-title-validation Skips validation of PR titles (conventional commit adherence + JIRA ticket inclusion) labels Jul 24, 2026
@nbbeeken nbbeeken self-assigned this Jul 24, 2026
@nbbeeken
nbbeeken requested review from nbbeeken and removed request for alenakhineika July 24, 2026 01:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bot 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