17887813873
95%
master: 94%

Ran 21 Sep 2025 02:39AM UTC

Jobs 10

Files 51

Run time 1min

Badge

Committed 21 Sep 2025 02:28AM UTC coverage: 94.924% (+0.05%) from 94.879%

Build Type

github

Committed by

Commit Message

Merge 4279cb65c into 2237d93b1

Run Details

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

3609 of 3802 relevant lines covered (94.92%)

18.03 hits per line

ID	Job ID	Ran	Files	Coverage
1	run-3.13-base - 17887813873.1	21 Sep 2025 02:59AM UTC	98	86.64	GitHub Action Run
2	run-3.12-z3-solver - 17887813873.2	21 Sep 2025 02:40AM UTC	98	94.16	GitHub Action Run
3	run-3.10-z3-solver - 17887813873.3	21 Sep 2025 02:43AM UTC	98	94.21	GitHub Action Run
4	run-3.9-base - 17887813873.4	21 Sep 2025 02:40AM UTC	98	85.54	GitHub Action Run
5	run-3.12-base - 17887813873.5	21 Sep 2025 02:40AM UTC	98	86.64	GitHub Action Run
6	run-3.11-base - 17887813873.6	21 Sep 2025 02:42AM UTC	98	86.66	GitHub Action Run
7	run-3.9-z3-solver - 17887813873.7	21 Sep 2025 02:39AM UTC	98	93.15	GitHub Action Run
8	run-3.11-z3-solver - 17887813873.8	21 Sep 2025 02:44AM UTC	98	94.19	GitHub Action Run
9	run-3.10-base - 17887813873.9	21 Sep 2025 02:42AM UTC	98	86.66	GitHub Action Run
10	run-3.13-z3-solver - 17887813873.10	21 Sep 2025 02:58AM UTC	98	94.16	GitHub Action Run