14986552697
93%
master: 94%

Ran 13 May 2025 02:09AM UTC

Jobs 10

Files 52

Run time 1min

Badge

Committed 13 May 2025 02:04AM UTC coverage: 93.395% (+0.08%) from 93.319%

Build Type

github

Committed by

Commit Message

Merge 5d6a1e6a1 into 4b2dac01d

Run Details

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

3436 of 3679 relevant lines covered (93.39%)

17.68 hits per line

ID	Job ID	Ran	Files	Coverage
1	run-3.10-z3-solver - 14986552697.1	13 May 2025 02:10AM UTC	100	91.33	GitHub Action Run
2	run-3.13-z3-solver - 14986552697.2	13 May 2025 02:10AM UTC	100	91.3	GitHub Action Run
3	run-3.9-z3-solver - 14986552697.3	13 May 2025 02:09AM UTC	100	91.15	GitHub Action Run
4	run-3.11-z3-solver - 14986552697.4	13 May 2025 02:11AM UTC	100	91.33	GitHub Action Run
5	run-3.13-base - 14986552697.5	13 May 2025 02:10AM UTC	100	85.65	GitHub Action Run
6	run-3.11-base - 14986552697.6	13 May 2025 02:10AM UTC	100	85.68	GitHub Action Run
7	run-3.12-base - 14986552697.7	13 May 2025 02:11AM UTC	100	85.65	GitHub Action Run
8	run-3.12-z3-solver - 14986552697.8	13 May 2025 02:11AM UTC	100	91.3	GitHub Action Run
9	run-3.9-base - 14986552697.9	13 May 2025 02:10AM UTC	100	85.46	GitHub Action Run
10	run-3.10-base - 14986552697.10	13 May 2025 02:10AM UTC	100	85.68	GitHub Action Run