Skip to content

Conversation

@mongodb-devtools-bot
Copy link
Contributor

This PR bumps the package version to v1.3.0-pre.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 November 26, 2025 14:44
@mongodb-devtools-bot mongodb-devtools-bot bot enabled auto-merge (squash) November 26, 2025 14:44
@mongodb-devtools-bot mongodb-devtools-bot bot force-pushed the chore_release_v1.3.0-pre.1 branch from 683c1c8 to 66d38c0 Compare November 26, 2025 16:50
@mongodb-devtools-bot mongodb-devtools-bot bot force-pushed the chore_release_v1.3.0-pre.1 branch from 66d38c0 to 27db03d Compare November 27, 2025 15:20
@mongodb-devtools-bot mongodb-devtools-bot bot merged commit 64c562c into main Nov 27, 2025
17 checks passed
@mongodb-devtools-bot mongodb-devtools-bot bot deleted the chore_release_v1.3.0-pre.1 branch November 27, 2025 15:24
@coveralls
Copy link
Collaborator

Pull Request Test Coverage Report for Build 19740948686

Warning: This coverage report may be inaccurate.

This pull request's base commit is no longer the HEAD commit of its target branch. This means it includes changes from outside the original pull request, including, potentially, unrelated coverage changes.

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.3%) to 80.746%

Totals Coverage Status
Change from base Build 19740827936: 0.3%
Covered Lines: 6694
Relevant Lines: 8204

💛 - Coveralls

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