26335077062
91%

Ran 23 May 2026 02:23PM UTC

Jobs 15

Files 56

Run time 1min

Badge

Committed 23 May 2026 02:20PM UTC coverage: 90.843% (+0.3%) from 90.539%

Build Type

push

github

Committed by

Commit Message

Added invalid name checker uppercase and pascal case suggested fixes (#1341)

Coverage Stats

46 of 46 new or added lines in 1 file covered. (100.0%)

3641 of 4008 relevant lines covered (90.84%)

17.16 hits per line

ID	Job ID	Ran	Files	Coverage
2	run-3.11-python-ta-z3 - 26335077062.2	23 May 2026 02:24PM UTC	8	27.35	GitHub Action Run
3	run-3.13-python-ta-z3 - 26335077062.3	23 May 2026 02:24PM UTC	8	27.35	GitHub Action Run
4	run-3.12-z3-solver - 26335077062.4	23 May 2026 02:27PM UTC	101	94.67	GitHub Action Run
5	run-3.12-python-ta-z3 - 26335077062.5	23 May 2026 02:28PM UTC	8	27.35	GitHub Action Run
6	run-3.14-python-ta-z3 - 26335077062.6	23 May 2026 02:23PM UTC	8	27.35	GitHub Action Run
7	run-3.13-base - 26335077062.7	23 May 2026 02:24PM UTC	101	91.02	GitHub Action Run
8	run-3.14-z3-solver - 26335077062.8	23 May 2026 02:23PM UTC	101	94.65	GitHub Action Run
9	run-3.10-base - 26335077062.9	23 May 2026 02:25PM UTC	101	91.05	GitHub Action Run
10	run-3.11-base - 26335077062.10	23 May 2026 02:24PM UTC	101	91.05	GitHub Action Run
11	run-3.12-base - 26335077062.11	23 May 2026 02:27PM UTC	101	91.02	GitHub Action Run
12	run-3.14-base - 26335077062.12	23 May 2026 02:23PM UTC	101	91.0	GitHub Action Run
13	run-3.10-z3-solver - 26335077062.13	23 May 2026 02:26PM UTC	101	94.69	GitHub Action Run
14	run-3.13-z3-solver - 26335077062.14	23 May 2026 02:24PM UTC	101	94.67	GitHub Action Run
15	run-3.10-python-ta-z3 - 26335077062.15	23 May 2026 02:25PM UTC	8	27.35	GitHub Action Run
9	run-3.11-z3-solver - 26191443630.9	20 May 2026 09:41PM UTC	101	94.74	GitHub Action Run