24474294493
91%

Ran 15 Apr 2026 07:38PM UTC

Jobs 15

Files 56

Run time 1min

Badge

Embed ▾

Committed 15 Apr 2026 07:34PM UTC coverage: 89.995%. Remained the same

Build # 24474294493

Build Type

push

github

Committed by

web-flow

Commit Message

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

* [pre-commit.ci] pre-commit autoupdate

updates:
- [github.com/PyCQA/isort: 7.0.0 → 8.0.1](https://github.com/PyCQA/isort/compare/7.0.0...8.0.1)
- [github.com/psf/black-pre-commit-mirror: 25.12.0 → 26.3.1](https://github.com/psf/black-pre-commit-mirror/compare/25.12.0...26.3.1)

* [pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

---------

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

Coverage Stats

3481 of 3868 relevant lines covered (89.99%)

17.47 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
5	run-3.11-z3-solver - 24474294493.5	15 Apr 2026 07:39PM UTC	101	94.12	GitHub Action Run
6	run-3.14-python-ta-z3 - 24474294493.6	15 Apr 2026 07:38PM UTC	8	27.35	GitHub Action Run
7	run-3.13-python-ta-z3 - 24474294493.7	15 Apr 2026 07:39PM UTC	8	27.35	GitHub Action Run
8	run-3.14-base - 24474294493.8	15 Apr 2026 07:38PM UTC	101	90.43	GitHub Action Run
9	run-3.14-z3-solver - 24474294493.9	15 Apr 2026 07:38PM UTC	101	94.14	GitHub Action Run
10	run-3.11-base - 24474294493.10	15 Apr 2026 07:41PM UTC	101	90.42	GitHub Action Run
11	run-3.10-base - 24474294493.11	15 Apr 2026 07:40PM UTC	101	90.42	GitHub Action Run
12	run-3.10-z3-solver - 24474294493.12	15 Apr 2026 07:42PM UTC	101	94.12	GitHub Action Run
13	run-3.12-python-ta-z3 - 24474294493.13	15 Apr 2026 07:44PM UTC	8	27.35	GitHub Action Run
14	run-3.10-python-ta-z3 - 24474294493.14	15 Apr 2026 07:40PM UTC	8	27.35	GitHub Action Run
15	run-3.13-base - 24474294493.15	15 Apr 2026 07:38PM UTC	101	90.45	GitHub Action Run
15	run-3.12-z3-solver - 24458202705.15	15 Apr 2026 02:13PM UTC	101	94.15	GitHub Action Run
14	run-3.13-z3-solver - 24458202705.14	15 Apr 2026 02:07PM UTC	101	94.15	GitHub Action Run
8	run-3.11-python-ta-z3 - 24458202705.8	15 Apr 2026 01:58PM UTC	8	27.35	GitHub Action Run
11	run-3.12-base - 24458202705.11	15 Apr 2026 02:10PM UTC	101	90.45	GitHub Action Run

pyta-uoft / pyta / 24474294493
91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 24474294493

pyta-uoft / pyta / 24474294493 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 24474294493

pyta-uoft / pyta / 24474294493
91%

README BADGES
x