4
94%
master: 94%

Ran 06 Oct 2025 11:39PM UTC

Files 98

Run time 4s

Badge

Embed ▾

Committed 06 Oct 2025 11:05PM UTC coverage: 94.019%. Remained the same

Job # 18296870261.4

Build Type

push

github

Committed by

web-flow

Commit Message

[pre-commit.ci] pre-commit autoupdate (#1247)

updates:
- [github.com/pre-commit/pre-commit-hooks: v5.0.0 → v6.0.0](https://github.com/pre-commit/pre-commit-hooks/compare/v5.0.0...v6.0.0)
- [github.com/PyCQA/isort: 6.0.1 → 6.1.0](https://github.com/PyCQA/isort/compare/6.0.1...6.1.0)
- [github.com/psf/black-pre-commit-mirror: 25.1.0 → 25.9.0](https://github.com/psf/black-pre-commit-mirror/compare/25.1.0...25.9.0)

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>

Run Details

6980 of 7424 relevant lines covered (94.02%)

0.94 hits per line

pyta-uoft / pyta / 18296870261 / 4
94%
master: 94%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-3.10-z3-solver - 18296870261.4

pyta-uoft / pyta / 18296870261 / 4 94% master: 94%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-3.10-z3-solver - 18296870261.4

pyta-uoft / pyta / 18296870261 / 4
94%
master: 94%

README BADGES
x