18423353290
94%
master: 94%

Ran 11 Oct 2025 03:03AM UTC

Jobs 10

Files 51

Run time 1min

Badge

Committed 11 Oct 2025 02:53AM UTC coverage: 94.234% (-0.06%) from 94.292%

Build Type

github

Committed by

Commit Message

Merge ef54e5a25 into 78ffa023d

Run Details

26 of 29 new or added lines in 2 files covered. (89.66%)

3514 of 3729 relevant lines covered (94.23%)

17.93 hits per line

Lines	Coverage	∆	File
3	98.72	-1.28%	python_ta/reporters/node_printers.py

ID	Job ID	Ran	Files	Coverage
1	run-3.13-base - 18423353290.1	11 Oct 2025 03:25AM UTC	98	85.76	GitHub Action Run
2	run-3.11-base - 18423353290.2	11 Oct 2025 03:08AM UTC	98	85.79	GitHub Action Run
3	run-3.9-z3-solver - 18423353290.3	11 Oct 2025 03:03AM UTC	98	92.88	GitHub Action Run
4	run-3.10-base - 18423353290.4	11 Oct 2025 03:05AM UTC	98	85.79	GitHub Action Run
5	run-3.12-base - 18423353290.5	11 Oct 2025 03:05AM UTC	98	85.76	GitHub Action Run
6	run-3.11-z3-solver - 18423353290.6	11 Oct 2025 03:09AM UTC	98	93.94	GitHub Action Run
7	run-3.9-base - 18423353290.7	11 Oct 2025 03:03AM UTC	98	84.67	GitHub Action Run
8	run-3.13-z3-solver - 18423353290.8	11 Oct 2025 03:26AM UTC	98	93.91	GitHub Action Run
9	run-3.10-z3-solver - 18423353290.9	11 Oct 2025 03:07AM UTC	98	93.97	GitHub Action Run
10	run-3.12-z3-solver - 18423353290.10	11 Oct 2025 03:05AM UTC	98	93.91	GitHub Action Run