12623258618
94%

Ran 05 Jan 2025 09:57PM UTC

Jobs 5

Files 47

Run time 1min

Badge

Committed 05 Jan 2025 09:55PM UTC coverage: 92.407% (+0.5%) from 91.881%

Build Type

push

github

Committed by

Commit Message

Refactor CI tests to separate z3 tests (#1126)

Configure CI matrix with "base" and "z3-solver". z3 is installed only for z3-solver config.

Run Details

3164 of 3424 relevant lines covered (92.41%)

13.29 hits per line

ID	Job ID	Ran	Files	Coverage
1	run-3.11 - 12623258618.1	05 Jan 2025 09:58PM UTC	91	92.06	GitHub Action Run
2	run-3.10 - 12623258618.2	05 Jan 2025 09:58PM UTC	91	88.19	GitHub Action Run
3	run-3.13 - 12623258618.3	05 Jan 2025 09:58PM UTC	91	92.09	GitHub Action Run
4	run-3.12 - 12623258618.4	05 Jan 2025 09:59PM UTC	91	92.09	GitHub Action Run
5	run-3.9 - 12623258618.5	05 Jan 2025 09:57PM UTC	91	91.78	GitHub Action Run