18633214355
94%

Ran 19 Oct 2025 04:50PM UTC

Jobs 10

Files 52

Run time 1min

Badge

Embed ▾

Committed 19 Oct 2025 04:40PM UTC coverage: 94.222%. Remained the same

Build # 18633214355

Build Type

push

github

Committed by

web-flow

Commit Message

build(deps): update pytest-cov requirement from <6.3,>=4.0 to >=4.0,<7.1 (#1240)

* build(deps): update pytest-cov requirement from <6.3,>=4.0 to >=4.0,<7.1

Updates the requirements on [pytest-cov](https://github.com/pytest-dev/pytest-cov) to permit the latest version.
- [Changelog](https://github.com/pytest-dev/pytest-cov/blob/master/CHANGELOG.rst)
- [Commits](https://github.com/pytest-dev/pytest-cov/compare/v4.0.0...v7.0.0)

---
updated-dependencies:
- dependency-name: pytest-cov
  dependency-version: 7.0.0
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>

* Added coverage patch for pytest-cov

---------

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: David Liu <david@cs.toronto.edu>

Run Details

3490 of 3704 relevant lines covered (94.22%)

17.92 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	run-3.13-base - 18633214355.1	19 Oct 2025 05:12PM UTC	100	85.7	GitHub Action Run
2	run-3.9-base - 18633214355.2	19 Oct 2025 04:50PM UTC	100	84.59	GitHub Action Run
3	run-3.13-z3-solver - 18633214355.3	19 Oct 2025 05:11PM UTC	100	93.9	GitHub Action Run
4	run-3.10-base - 18633214355.4	19 Oct 2025 04:53PM UTC	100	85.72	GitHub Action Run
5	run-3.12-base - 18633214355.5	19 Oct 2025 04:51PM UTC	100	85.7	GitHub Action Run
6	run-3.10-z3-solver - 18633214355.6	19 Oct 2025 04:54PM UTC	100	93.95	GitHub Action Run
7	run-3.11-base - 18633214355.7	19 Oct 2025 04:54PM UTC	100	85.72	GitHub Action Run
8	run-3.9-z3-solver - 18633214355.8	19 Oct 2025 04:50PM UTC	100	92.86	GitHub Action Run
9	run-3.11-z3-solver - 18633214355.9	19 Oct 2025 04:55PM UTC	100	93.93	GitHub Action Run
10	run-3.12-z3-solver - 18633214355.10	19 Oct 2025 04:53PM UTC	100	93.9	GitHub Action Run

pyta-uoft / pyta / 18633214355
94%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 18633214355

pyta-uoft / pyta / 18633214355 94%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 18633214355

pyta-uoft / pyta / 18633214355
94%

README BADGES
x