13658092311
93%
master: 94%

Ran 04 Mar 2025 04:21PM UTC

Jobs 10

Files 49

Run time 1min

Badge

Committed 04 Mar 2025 04:16PM UTC coverage: 92.957% (+0.04%) from 92.914%

Build Type

github

Committed by

Commit Message

Merge ed6163ab3 into 89ce63ced

Run Details

15 of 16 new or added lines in 2 files covered. (93.75%)

3273 of 3521 relevant lines covered (92.96%)

17.67 hits per line

Lines	Coverage	∆	File
1	98.51	0.06%	python_ta/reporters/core.py

ID	Job ID	Ran	Files	Coverage
1	run-3.12-z3-solver - 13658092311.1	04 Mar 2025 04:23PM UTC	95	91.88	GitHub Action Run
2	run-3.12-base - 13658092311.2	04 Mar 2025 04:23PM UTC	95	84.89	GitHub Action Run
3	run-3.11-z3-solver - 13658092311.3	04 Mar 2025 04:22PM UTC	95	91.91	GitHub Action Run
4	run-3.10-base - 13658092311.4	04 Mar 2025 04:22PM UTC	95	84.92	GitHub Action Run
5	run-3.13-base - 13658092311.5	04 Mar 2025 04:23PM UTC	95	84.89	GitHub Action Run
6	run-3.10-z3-solver - 13658092311.6	04 Mar 2025 04:22PM UTC	95	91.91	GitHub Action Run
7	run-3.9-base - 13658092311.7	04 Mar 2025 04:21PM UTC	95	84.67	GitHub Action Run
8	run-3.11-base - 13658092311.8	04 Mar 2025 04:22PM UTC	95	84.92	GitHub Action Run
9	run-3.9-z3-solver - 13658092311.9	04 Mar 2025 04:21PM UTC	95	91.7	GitHub Action Run
10	run-3.13-z3-solver - 13658092311.10	04 Mar 2025 04:23PM UTC	95	91.88	GitHub Action Run