Skip to content

Conversation

mongodb-devtools-bot[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 Dec 20, 2024
@addaleax addaleax merged commit 7fc816f into main Dec 20, 2024
32 checks passed
@addaleax addaleax deleted the ci/update-electron branch December 20, 2024 15:07
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