18107030362
95%
master: 94%

Ran 29 Sep 2025 06:45PM UTC

Jobs 10

Files 51

Run time 1min

Badge

Committed 29 Sep 2025 06:35PM UTC coverage: 94.823% (+0.07%) from 94.752%

Build Type

github

Committed by

Commit Message

Merge fb206dac1 into 2cd7db838

Run Details

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

3535 of 3728 relevant lines covered (94.82%)

18.0 hits per line

ID	Job ID	Ran	Files	Coverage
1	run-3.11-base - 18107030362.1	29 Sep 2025 06:51PM UTC	98	86.4	GitHub Action Run
2	run-3.10-z3-solver - 18107030362.2	29 Sep 2025 06:47PM UTC	98	94.1	GitHub Action Run
3	run-3.9-base - 18107030362.3	29 Sep 2025 06:47PM UTC	98	85.25	GitHub Action Run
4	run-3.11-z3-solver - 18107030362.4	29 Sep 2025 06:52PM UTC	98	94.07	GitHub Action Run
5	run-3.12-z3-solver - 18107030362.5	29 Sep 2025 06:46PM UTC	98	94.05	GitHub Action Run
6	run-3.10-base - 18107030362.6	29 Sep 2025 06:48PM UTC	98	86.4	GitHub Action Run
7	run-3.13-base - 18107030362.7	29 Sep 2025 07:07PM UTC	98	86.37	GitHub Action Run
8	run-3.9-z3-solver - 18107030362.8	29 Sep 2025 06:45PM UTC	98	93.01	GitHub Action Run
9	run-3.12-base - 18107030362.9	29 Sep 2025 06:47PM UTC	98	86.37	GitHub Action Run
10	run-3.13-z3-solver - 18107030362.10	29 Sep 2025 07:05PM UTC	98	94.05	GitHub Action Run