15893578808
93%
master: 94%

Ran 26 Jun 2025 05:20AM UTC

Jobs 10

Files 52

Run time 1min

Badge

Committed 26 Jun 2025 05:15AM UTC coverage: 92.824%. Remained the same

Build Type

github

Committed by

Commit Message

Merge 6f8775c26 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.13-base - 15893578808.1	26 Jun 2025 05:21AM UTC	100	84.38	GitHub Action Run
2	run-3.12-z3-solver - 15893578808.2	26 Jun 2025 05:23AM UTC	100	91.07	GitHub Action Run
3	run-3.11-z3-solver - 15893578808.3	26 Jun 2025 05:22AM UTC	100	91.1	GitHub Action Run
4	run-3.11-base - 15893578808.4	26 Jun 2025 05:21AM UTC	100	84.41	GitHub Action Run
5	run-3.9-base - 15893578808.5	26 Jun 2025 05:20AM UTC	100	84.19	GitHub Action Run
6	run-3.10-base - 15893578808.6	26 Jun 2025 05:21AM UTC	100	84.41	GitHub Action Run
7	run-3.9-z3-solver - 15893578808.7	26 Jun 2025 05:20AM UTC	100	90.95	GitHub Action Run
8	run-3.10-z3-solver - 15893578808.8	26 Jun 2025 05:21AM UTC	100	91.12	GitHub Action Run
9	run-3.12-base - 15893578808.9	26 Jun 2025 05:22AM UTC	100	84.38	GitHub Action Run
10	run-3.13-z3-solver - 15893578808.10	26 Jun 2025 05:22AM UTC	100	91.07	GitHub Action Run