Skip to content

Conversation

@mongodb-devtools-bot
Copy link
Contributor

  • Update electron

@mongodb-devtools-bot mongodb-devtools-bot bot requested a review from a team as a code owner June 13, 2025 00:27
@mongodb-devtools-bot mongodb-devtools-bot bot added the no-title-validation Skips validation of PR titles (conventional commit adherence + JIRA ticket inclusion) label Jun 13, 2025
@mongodb-devtools-bot mongodb-devtools-bot bot force-pushed the ci/update-electron branch 4 times, most recently from ff9a9b5 to 6ba0c5e Compare June 18, 2025 00:27
@mongodb-devtools-bot mongodb-devtools-bot bot force-pushed the ci/update-electron branch 5 times, most recently from 1f04724 to 27f4947 Compare June 24, 2025 00:28
@gribnoysup gribnoysup merged commit 6c44980 into main Jun 25, 2025
80 of 81 checks passed
@gribnoysup gribnoysup deleted the ci/update-electron branch June 25, 2025 08:22
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.

3 participants