21813151615
90%
master: 90%

Ran 09 Feb 2026 05:30AM UTC

Jobs 15

Files 54

Run time 1min

Badge

Committed 09 Feb 2026 05:09AM UTC coverage: 89.854% (+0.02%) from 89.835%

Build Type

github

Committed by

Commit Message

Merge 930d3289a into df3f925da

Run Details

8 of 8 new or added lines in 2 files covered. (100.0%)

3436 of 3824 relevant lines covered (89.85%)

17.43 hits per line

ID	Job ID	Ran	Files	Coverage
1	run-3.13-z3-solver - 21813151615.1	09 Feb 2026 05:44AM UTC	97	94.05	GitHub Action Run
2	run-3.10-z3-solver - 21813151615.2	09 Feb 2026 05:33AM UTC	97	94.02	GitHub Action Run
3	run-3.10-python-ta-z3 - 21813151615.3	09 Feb 2026 05:33AM UTC	8	27.35	GitHub Action Run
4	run-3.13-base - 21813151615.4	09 Feb 2026 05:31AM UTC	97	90.36	GitHub Action Run
5	run-3.11-python-ta-z3 - 21813151615.5	09 Feb 2026 05:33AM UTC	8	27.35	GitHub Action Run
6	run-3.14-base - 21813151615.6	09 Feb 2026 05:31AM UTC	97	90.34	GitHub Action Run
7	run-3.10-base - 21813151615.7	09 Feb 2026 05:33AM UTC	97	90.33	GitHub Action Run
8	run-3.14-z3-solver - 21813151615.8	09 Feb 2026 05:30AM UTC	97	94.04	GitHub Action Run
9	run-3.14-python-ta-z3 - 21813151615.9	09 Feb 2026 05:31AM UTC	8	27.35	GitHub Action Run
10	run-3.12-python-ta-z3 - 21813151615.10	09 Feb 2026 05:34AM UTC	8	27.35	GitHub Action Run
11	run-3.12-base - 21813151615.11	09 Feb 2026 05:34AM UTC	97	90.36	GitHub Action Run
12	run-3.11-z3-solver - 21813151615.12	09 Feb 2026 05:43AM UTC	97	94.02	GitHub Action Run
13	run-3.13-python-ta-z3 - 21813151615.13	09 Feb 2026 05:31AM UTC	8	27.35	GitHub Action Run
14	run-3.11-base - 21813151615.14	09 Feb 2026 05:33AM UTC	97	90.33	GitHub Action Run
15	run-3.12-z3-solver - 21813151615.15	09 Feb 2026 05:34AM UTC	97	94.05	GitHub Action Run