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 Jul 17, 2025
@mongodb-devtools-bot mongodb-devtools-bot bot requested a review from a team as a code owner July 17, 2025 00:26
@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 17, 2025
@mongodb-devtools-bot mongodb-devtools-bot bot force-pushed the ci/update-electron branch 6 times, most recently from 8e48747 to 6687b18 Compare July 24, 2025 00:26
@Anemy Anemy merged commit 2292a28 into main Jul 25, 2025
10 of 11 checks passed
@Anemy Anemy deleted the ci/update-electron branch July 25, 2025 00:41
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.

1 participant