21813417438
90%
master: 90%

Ran 09 Feb 2026 05:44AM UTC

Jobs 15

Files 54

Run time 1min

Badge

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

Build Type

github

Committed by

Commit Message

Merge 0c9b03ae3 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.10-python-ta-z3 - 21813417438.1	09 Feb 2026 05:50AM UTC	8	27.35	GitHub Action Run
2	run-3.13-python-ta-z3 - 21813417438.2	09 Feb 2026 05:53AM UTC	8	27.35	GitHub Action Run
3	run-3.10-z3-solver - 21813417438.3	09 Feb 2026 05:47AM UTC	97	94.02	GitHub Action Run
4	run-3.10-base - 21813417438.4	09 Feb 2026 05:50AM UTC	97	90.33	GitHub Action Run
5	run-3.14-base - 21813417438.5	09 Feb 2026 05:46AM UTC	97	90.34	GitHub Action Run
6	run-3.11-python-ta-z3 - 21813417438.6	09 Feb 2026 05:46AM UTC	8	27.35	GitHub Action Run
7	run-3.14-z3-solver - 21813417438.7	09 Feb 2026 05:44AM UTC	97	94.04	GitHub Action Run
8	run-3.11-base - 21813417438.8	09 Feb 2026 05:46AM UTC	97	90.33	GitHub Action Run
9	run-3.12-base - 21813417438.9	09 Feb 2026 05:49AM UTC	97	90.36	GitHub Action Run
10	run-3.11-z3-solver - 21813417438.10	09 Feb 2026 05:48AM UTC	97	94.02	GitHub Action Run
11	run-3.12-python-ta-z3 - 21813417438.11	09 Feb 2026 05:49AM UTC	8	27.35	GitHub Action Run
12	run-3.13-base - 21813417438.12	09 Feb 2026 05:53AM UTC	97	90.36	GitHub Action Run
13	run-3.12-z3-solver - 21813417438.13	09 Feb 2026 05:51AM UTC	97	94.05	GitHub Action Run
14	run-3.13-z3-solver - 21813417438.14	09 Feb 2026 05:50AM UTC	97	94.05	GitHub Action Run
15	run-3.14-python-ta-z3 - 21813417438.15	09 Feb 2026 05:46AM UTC	8	27.35	GitHub Action Run