Skip to content

Conversation

mongodb-devtools-bot[bot]
Copy link
Contributor

This PR bumps the package version to v0.3.1-prerelease.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 September 10, 2025 13:11
@mongodb-devtools-bot mongodb-devtools-bot bot enabled auto-merge (squash) September 10, 2025 13:11
@mongodb-devtools-bot mongodb-devtools-bot bot merged commit 008ad6b into main Sep 10, 2025
18 checks passed
@mongodb-devtools-bot mongodb-devtools-bot bot deleted the chore_release_v0.3.1-prerelease.1 branch September 10, 2025 13:19
@coveralls
Copy link
Collaborator

Pull Request Test Coverage Report for Build 17614867783

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 remained the same at 81.29%

Totals Coverage Status
Change from base Build 17614175929: 0.0%
Covered Lines: 4769
Relevant Lines: 5772

💛 - 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.

2 participants