16402642586
93%
master: 94%

Ran 20 Jul 2025 06:00PM UTC

Jobs 10

Files 53

Run time 1min

Badge

Committed 20 Jul 2025 05:53PM UTC coverage: 92.942% (+0.04%) from 92.899%

Build Type

github

Committed by

Commit Message

Merge 037207416 into 1fbd7588b

Run Details

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

3503 of 3769 relevant lines covered (92.94%)

17.53 hits per line

ID	Job ID	Ran	Files	Coverage
1	run-3.12-z3-solver - 16402642586.1	20 Jul 2025 06:01PM UTC	102	91.22	GitHub Action Run
2	run-3.13-z3-solver - 16402642586.2	20 Jul 2025 06:02PM UTC	102	91.22	GitHub Action Run
3	run-3.10-z3-solver - 16402642586.3	20 Jul 2025 06:01PM UTC	102	91.27	GitHub Action Run
4	run-3.13-base - 16402642586.4	20 Jul 2025 06:02PM UTC	102	84.56	GitHub Action Run
5	run-3.11-z3-solver - 16402642586.5	20 Jul 2025 06:00PM UTC	102	91.24	GitHub Action Run
6	run-3.9-z3-solver - 16402642586.6	20 Jul 2025 06:00PM UTC	102	90.19	GitHub Action Run
7	run-3.10-base - 16402642586.7	20 Jul 2025 06:01PM UTC	102	84.58	GitHub Action Run
8	run-3.11-base - 16402642586.8	20 Jul 2025 06:01PM UTC	102	84.58	GitHub Action Run
9	run-3.9-base - 16402642586.9	20 Jul 2025 06:00PM UTC	102	83.47	GitHub Action Run
10	run-3.12-base - 16402642586.10	20 Jul 2025 06:01PM UTC	102	84.56	GitHub Action Run