12
90%
master: 90%

Ran 01 Feb 2026 10:46PM UTC

Files 97

Run time 2s

Badge

Committed 01 Feb 2026 10:39PM UTC coverage: 90.342% (+5.1%) from 85.258%

Build Type

push

github

Committed by

Commit Message

Created python-ta-z3 package (#1290)

Adds python-ta-z3 as a dependency of python-ta[z3]

Run Details

6454 of 7144 relevant lines covered (90.34%)

0.9 hits per line