Skip to content

Conversation

@mongodb-devtools-bot
Copy link
Contributor

  • Update electron

@mongodb-devtools-bot mongodb-devtools-bot bot added the no-title-validation Skips validation of PR titles (conventional commit adherence + JIRA ticket inclusion) label Jul 16, 2025
@mongodb-devtools-bot mongodb-devtools-bot bot requested a review from a team as a code owner July 16, 2025 00:25
@lerouxb lerouxb merged commit 1a6f63a into main Jul 16, 2025
61 checks passed
@lerouxb lerouxb deleted the ci/update-electron branch July 16, 2025 09:39
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.

2 participants