21567425116
90%
master: 90%

Ran 01 Feb 2026 05:52PM UTC

Jobs 15

Files 324

Run time 1min

Badge

Committed 01 Feb 2026 05:48PM UTC coverage: 86.023% (-8.2%) from 94.188%

Build Type

github

Committed by

Commit Message

Merge 1c12df2dd into c539ba7b6

Run Details

11 of 37 new or added lines in 3 files covered. (29.73%)

18261 of 21228 relevant lines covered (86.02%)

3.4 hits per line

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

ID	Job ID	Ran	Files	Coverage
1	run-3.10-python-ta-z3 - 21567425116.1	01 Feb 2026 05:54PM UTC	8	27.42	GitHub Action Run
2	run-3.11-python-ta-z3 - 21567425116.2	01 Feb 2026 05:53PM UTC	8	27.42	GitHub Action Run
3	run-3.14-base - 21567425116.3	01 Feb 2026 05:52PM UTC	123	83.55	GitHub Action Run
4	run-3.13-python-ta-z3 - 21567425116.4	01 Feb 2026 05:53PM UTC	8	27.42	GitHub Action Run
5	run-3.11-base - 21567425116.5	01 Feb 2026 05:53PM UTC	123	83.56	GitHub Action Run
6	run-3.10-z3-solver - 21567425116.6	01 Feb 2026 05:55PM UTC	123	86.71	GitHub Action Run
7	run-3.12-base - 21567425116.7	01 Feb 2026 05:56PM UTC	123	83.59	GitHub Action Run
8	run-3.12-python-ta-z3 - 21567425116.8	01 Feb 2026 05:56PM UTC	8	27.42	GitHub Action Run
9	run-3.14-python-ta-z3 - 21567425116.9	01 Feb 2026 05:52PM UTC	8	27.42	GitHub Action Run
10	run-3.14-z3-solver - 21567425116.10	01 Feb 2026 05:52PM UTC	123	86.7	GitHub Action Run
11	run-3.11-z3-solver - 21567425116.11	01 Feb 2026 05:53PM UTC	123	86.71	GitHub Action Run
12	run-3.12-z3-solver - 21567425116.12	01 Feb 2026 05:56PM UTC	123	86.73	GitHub Action Run
13	run-3.10-base - 21567425116.13	01 Feb 2026 05:54PM UTC	123	83.56	GitHub Action Run
14	run-3.13-z3-solver - 21567425116.14	01 Feb 2026 05:53PM UTC	123	86.73	GitHub Action Run
15	run-3.13-base - 21567425116.15	01 Feb 2026 05:53PM UTC	123	83.59	GitHub Action Run