17748942448
95%
master: 94%

Ran 15 Sep 2025 11:14PM UTC

Jobs 10

Files 51

Run time 1min

Badge

Committed 15 Sep 2025 10:58PM UTC coverage: 94.879% (+0.3%) from 94.561%

Build Type

github

Committed by

Commit Message

Merge 7d8837153 into 3c654bbeb

Run Details

3576 of 3769 relevant lines covered (94.88%)

18.02 hits per line

ID	Job ID	Ran	Files	Coverage
1	run-3.11-base - 17748942448.1	15 Sep 2025 11:39PM UTC	98	86.55	GitHub Action Run
2	run-3.12-z3-solver - 17748942448.2	15 Sep 2025 11:44PM UTC	98	94.11	GitHub Action Run
3	run-3.13-base - 17748942448.3	15 Sep 2025 11:30PM UTC	98	86.52	GitHub Action Run
4	run-3.9-z3-solver - 17748942448.4	15 Sep 2025 11:14PM UTC	98	93.09	GitHub Action Run
5	run-3.10-base - 17748942448.5	15 Sep 2025 11:40PM UTC	98	86.55	GitHub Action Run
6	run-3.9-base - 17748942448.6	15 Sep 2025 11:25PM UTC	98	85.41	GitHub Action Run
7	run-3.10-z3-solver - 17748942448.7	15 Sep 2025 11:30PM UTC	98	94.16	GitHub Action Run
8	run-3.11-z3-solver - 17748942448.8	15 Sep 2025 11:29PM UTC	98	94.14	GitHub Action Run
9	run-3.12-base - 17748942448.9	15 Sep 2025 11:32PM UTC	98	86.52	GitHub Action Run
10	run-3.13-z3-solver - 17748942448.10	15 Sep 2025 11:29PM UTC	98	94.11	GitHub Action Run