7123579612
94%

Ran 07 Dec 2023 04:01AM UTC

Jobs 4

Files 47

Run time 5s

Badge

Committed 07 Dec 2023 03:59AM UTC coverage: 94.638%. Remained the same

Build Type

push

github

Committed by

Commit Message

Add importlib_reload to z3 on Python < 3.9 (#987)

Run Details

3442 of 3637 relevant lines covered (94.64%)

5.62 hits per line

ID	Job ID	Ran	Files	Coverage
1	run-3.8 - 7123579612.1	07 Dec 2023 04:01AM UTC	88	90.66	GitHub Action Run
2	run-3.9 - 7123579612.2	07 Dec 2023 04:02AM UTC	88	90.58	GitHub Action Run
3	run-3.10 - 7123579612.3	07 Dec 2023 04:02AM UTC	88	91.29	GitHub Action Run
4	run-3.11 - 7123579612.4	07 Dec 2023 04:01AM UTC	88	91.29	GitHub Action Run