21566889325
90%
master: 90%

Ran 01 Feb 2026 05:14PM UTC

Jobs 10

Files 4

Run time 1min

Badge

Committed 01 Feb 2026 05:11PM UTC coverage: 27.419% (-66.8%) from 94.188%

Build Type

github

Committed by

Commit Message

Merge 0deb64788 into c539ba7b6

Run Details

21 of 73 new or added lines in 3 files covered. (28.77%)

68 of 248 relevant lines covered (27.42%)

5.48 hits per line

Lines	Coverage	∆	File
26	18.75		packages/python-ta-z3/src/python_ta_z3/utils.py
26	31.58		packages/python-ta-z3/src/python_ta_z3/z3_visitor.py

ID	Job ID	Ran	Files	Coverage
1	run-3.13-base - 21566889325.1	01 Feb 2026 05:15PM UTC	8	27.42	GitHub Action Run
2	run-3.14-base - 21566889325.2	01 Feb 2026 05:14PM UTC	8	27.42	GitHub Action Run
3	run-3.14-z3-solver - 21566889325.3	01 Feb 2026 05:15PM UTC	8	27.42	GitHub Action Run
4	run-3.10-z3-solver - 21566889325.4	01 Feb 2026 05:17PM UTC	8	27.42	GitHub Action Run
5	run-3.10-base - 21566889325.5	01 Feb 2026 05:17PM UTC	8	27.42	GitHub Action Run
6	run-3.11-z3-solver - 21566889325.6	01 Feb 2026 05:15PM UTC	8	27.42	GitHub Action Run
7	run-3.13-z3-solver - 21566889325.7	01 Feb 2026 05:15PM UTC	8	27.42	GitHub Action Run
8	run-3.12-z3-solver - 21566889325.8	01 Feb 2026 05:18PM UTC	8	27.42	GitHub Action Run
9	run-3.12-base - 21566889325.9	01 Feb 2026 05:17PM UTC	8	27.42	GitHub Action Run
10	run-3.11-base - 21566889325.10	01 Feb 2026 05:15PM UTC	8	27.42	GitHub Action Run