Skip to content

Bump coverage from 1.12.0 to 1.13.1 #150

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 1 commit into from

Conversation

dependabot[bot]
Copy link
Contributor

@dependabot dependabot bot commented on behalf of github May 5, 2025

Bumps coverage from 1.12.0 to 1.13.1.

Release notes

Sourced from coverage's releases.

package:coverage v1.13.1

  • Fix a bug where the VM service can be shut down while some coverage collections are still happening.

package:coverage v1.13.0

  • Introduced support for minimum coverage thresholds using --fail-under flag in format_coverage.
  • Fix a bug where we attempt to resume an isolate after the VM service has been shut down.
Commits
  • f1f8ac1 [coverage] Fix another flaky lifecycle management error (#2082)
  • 92f10a9 [coverage] Fix resume after shutdown error (#2079)
  • 7e8cb03 Add --fail-under flag for minimum coverage threshold (#2075)
  • 11f4cf7 [html] Various performance optimizations (#2019)
  • 98d4e4d [html] fix TypeError in nth-child query selector (#2015)
  • 11a7719 allow custom ID generators in Clients, and support String ids (#2077)
  • 93276f5 Support newInstanceNamed with empty name (#1194)
  • 4a28415 [package:code_builder] Remove transitive dependency on package:macros (#2073)
  • 2bb6eba Simplifies the format for client IDs. (#2072)
  • See full diff in compare view

Dependabot compatibility score

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

Bumps [coverage](https://github.com/dart-lang/tools/tree/main/pkgs) from 1.12.0 to 1.13.1.
- [Release notes](https://github.com/dart-lang/tools/releases)
- [Commits](https://github.com/dart-lang/tools/commits/coverage-v1.13.1/pkgs)

---
updated-dependencies:
- dependency-name: coverage
  dependency-version: 1.13.1
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot dependabot bot added dart Pull requests that update dart code dependencies Pull requests that update a dependency file labels May 5, 2025
Copy link
Contributor Author

dependabot bot commented on behalf of github May 26, 2025

Superseded by #166.

@dependabot dependabot bot closed this May 26, 2025
@dependabot dependabot bot deleted the dependabot/pub/coverage-1.13.1 branch May 26, 2025 15:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dart Pull requests that update dart code dependencies Pull requests that update a dependency file
Projects
None yet
Development

Successfully merging this pull request may close these issues.

0 participants