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 Jan 31, 2025
@mongodb-devtools-bot mongodb-devtools-bot bot force-pushed the ci/update-electron branch 7 times, most recently from 2d4fdb9 to 267813f Compare February 8, 2025 00:23
@mongodb-devtools-bot mongodb-devtools-bot bot force-pushed the ci/update-electron branch 7 times, most recently from 4e8eba3 to 717c31d Compare February 16, 2025 00:27
@mongodb-devtools-bot mongodb-devtools-bot bot force-pushed the ci/update-electron branch 2 times, most recently from c6d8c9d to 053174f Compare February 18, 2025 00:25
@lerouxb lerouxb merged commit b7baaa2 into main Feb 19, 2025
35 checks passed
@lerouxb lerouxb deleted the ci/update-electron branch February 19, 2025 12:33
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