18632580158
94%

Ran 19 Oct 2025 03:49PM UTC

Jobs 10

Files 52

Run time 1min

Badge

Committed 19 Oct 2025 03:40PM UTC coverage: 94.222% (+0.02%) from 94.199%

Build Type

push

github

Committed by

Commit Message

Added new unnecessary-f-string checker (#1250)

Run Details

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

3490 of 3704 relevant lines covered (94.22%)

17.92 hits per line

ID	Job ID	Ran	Files	Coverage
1	run-3.13-z3-solver - 18632580158.1	19 Oct 2025 04:10PM UTC	100	93.9	GitHub Action Run
2	run-3.9-base - 18632580158.2	19 Oct 2025 03:49PM UTC	100	84.59	GitHub Action Run
3	run-3.12-base - 18632580158.3	19 Oct 2025 03:53PM UTC	100	85.7	GitHub Action Run
4	run-3.13-base - 18632580158.4	19 Oct 2025 04:11PM UTC	100	85.7	GitHub Action Run
5	run-3.12-z3-solver - 18632580158.5	19 Oct 2025 03:51PM UTC	100	93.9	GitHub Action Run
6	run-3.10-z3-solver - 18632580158.6	19 Oct 2025 03:53PM UTC	100	93.95	GitHub Action Run
7	run-3.10-base - 18632580158.7	19 Oct 2025 03:54PM UTC	100	85.72	GitHub Action Run
8	run-3.11-base - 18632580158.8	19 Oct 2025 03:54PM UTC	100	85.72	GitHub Action Run
9	run-3.9-z3-solver - 18632580158.9	19 Oct 2025 03:52PM UTC	100	92.86	GitHub Action Run
10	run-3.11-z3-solver - 18632580158.10	19 Oct 2025 03:58PM UTC	100	93.93	GitHub Action Run