9338502324
93%
master: 94%

Ran 02 Jun 2024 01:06PM UTC

Jobs 8

Files 43

Run time 1min

Badge

Committed 02 Jun 2024 01:04PM UTC coverage: 89.501% (-3.6%) from 93.12%

Build Type

github

Committed by

Commit Message

Merge 8c2fede6e into d04089e06

Run Details

2745 of 3067 relevant lines covered (89.5%)

14.09 hits per line

Lines	Coverage	∆	File
6	88.25	-1.81%	python_ta/contracts/__init__.py
18	81.98	-10.47%	python_ta/__init__.py
24	27.78	-66.67%	python_ta/transforms/z3_visitor.py
63	21.43	-64.29%	python_ta/transforms/ExprWrapper.py

ID	Job ID	Ran	Files	Coverage
1	run-3.8 - 9338502324.1	02 Jun 2024 01:07PM UTC	86	88.98	GitHub Action Run
2	run-3.9 - 9338502324.2	02 Jun 2024 01:07PM UTC	86	88.98	GitHub Action Run
3	run-3.12 - 9338502324.3	02 Jun 2024 01:07PM UTC	86	89.31	GitHub Action Run
4	run-3.11 - 9338502324.4	02 Jun 2024 01:06PM UTC	86	89.28	GitHub Action Run
5	run-3.10 - 9338502324.5	02 Jun 2024 01:07PM UTC	86	89.28	GitHub Action Run
6	run-3.8 - 9338502324.6	02 Jun 2024 01:12PM UTC	86	88.98	GitHub Action Run
7	run-3.8 - 9338502324.7	02 Jun 2024 01:16PM UTC	86	88.98	GitHub Action Run
8	run-3.8 - 9338502324.8	02 Jun 2024 01:19PM UTC	86	88.98	GitHub Action Run