Skip to content

chore(deps): update dependency coverage to v7.13.3#89

Open
specmatic-builder wants to merge 1 commit intomainfrom
renovate/coverage-7.x
Open

chore(deps): update dependency coverage to v7.13.3#89
specmatic-builder wants to merge 1 commit intomainfrom
renovate/coverage-7.x

Conversation

@specmatic-builder
Copy link
Contributor

@specmatic-builder specmatic-builder commented Jan 25, 2026

This PR contains the following updates:

Package Change Age Adoption Passing Confidence
coverage ==7.13.1==7.13.3 age adoption passing confidence

Release Notes

coveragepy/coveragepy (coverage)

v7.13.3

Compare Source

  • Fix: in some situations, third-party code was measured when it shouldn't have
    been, slowing down test execution. This happened with layered virtual
    environments such as uv sometimes makes. The problem is fixed, closing issue 2082_. Now any directory on sys.path that is inside a virtualenv is
    considered third-party code.

.. _issue 2082: #​2082

.. _changes_7-13-2:

v7.13.2

Compare Source

  • Fix: when Python is installed via symlinks, for example with Homebrew, the
    standard library files could be incorrectly included in coverage reports.
    This is now fixed, closing issue 2115_.

  • Fix: if a data file is created with no read permissions, the combine step
    would fail completely. Now a warning is issued and the file is skipped.
    Closes issue 2117_.

.. _issue 2115: #​2115
.. _issue 2117: #​2117

.. _changes_7-13-1:


Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.


  • If you want to rebase/retry this PR, check this box

This PR has been generated by Renovate Bot. Specmatic specific configuration is managed here.

@specmatic-builder specmatic-builder changed the title chore(deps): update dependency coverage to v7.13.2 chore(deps): update dependency coverage to v7.13.3 Feb 4, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant