Skip to content

Conversation

@mongodb-devtools-bot
Copy link
Contributor

This PR bumps the package version to v1.3.1.
Once merged, the new version will be published to npm.

@mongodb-devtools-bot mongodb-devtools-bot bot requested a review from a team as a code owner December 12, 2025 13:26
@mongodb-devtools-bot mongodb-devtools-bot bot enabled auto-merge (squash) December 12, 2025 13:26
@coveralls
Copy link
Collaborator

Pull Request Test Coverage Report for Build 20168214998

Details

  • 1 of 1 (100.0%) changed or added relevant line in 1 file are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage increased (+0.006%) to 80.093%

Totals Coverage Status
Change from base Build 20167320751: 0.006%
Covered Lines: 6665
Relevant Lines: 8239

💛 - Coveralls

@mongodb-devtools-bot mongodb-devtools-bot bot merged commit ae46892 into main Dec 12, 2025
19 checks passed
@mongodb-devtools-bot mongodb-devtools-bot bot deleted the chore_release_v1.3.1 branch December 12, 2025 13:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants