15917088120
93%
master: 94%

Ran 27 Jun 2025 03:02AM UTC

Jobs 10

Files 52

Run time 1min

Badge

Committed 27 Jun 2025 02:56AM UTC coverage: 92.824%. Remained the same

Build Type

github

Committed by

Commit Message

Merge 078f01bf1 into 0fe58c287

Run Details

3441 of 3707 relevant lines covered (92.82%)

17.54 hits per line

ID	Job ID	Ran	Files	Coverage
1	run-3.9-base - 15917088120.1	27 Jun 2025 03:02AM UTC	100	84.19	GitHub Action Run
2	run-3.10-z3-solver - 15917088120.2	27 Jun 2025 03:03AM UTC	100	91.12	GitHub Action Run
3	run-3.10-base - 15917088120.3	27 Jun 2025 03:03AM UTC	100	84.41	GitHub Action Run
4	run-3.12-base - 15917088120.4	27 Jun 2025 03:04AM UTC	100	84.38	GitHub Action Run
5	run-3.12-z3-solver - 15917088120.5	27 Jun 2025 03:04AM UTC	100	91.07	GitHub Action Run
6	run-3.13-base - 15917088120.6	27 Jun 2025 03:03AM UTC	100	84.38	GitHub Action Run
7	run-3.11-base - 15917088120.7	27 Jun 2025 03:04AM UTC	100	84.41	GitHub Action Run
8	run-3.9-z3-solver - 15917088120.8	27 Jun 2025 03:02AM UTC	100	90.95	GitHub Action Run
9	run-3.11-z3-solver - 15917088120.9	27 Jun 2025 03:03AM UTC	100	91.1	GitHub Action Run
10	run-3.13-z3-solver - 15917088120.10	27 Jun 2025 03:03AM UTC	100	91.07	GitHub Action Run