14960743934
93%
master: 94%

Ran 11 May 2025 11:34PM UTC

Jobs 10

Files 52

Run time 1min

Badge

Committed 11 May 2025 11:29PM UTC coverage: 93.395% (+0.08%) from 93.319%

Build Type

github

Committed by

Commit Message

Merge cab71cc2c into 4b2dac01d

Run Details

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

3436 of 3679 relevant lines covered (93.39%)

17.68 hits per line

ID	Job ID	Ran	Files	Coverage
1	run-3.9-base - 14960743934.1	11 May 2025 11:34PM UTC	100	85.46	GitHub Action Run
2	run-3.13-base - 14960743934.2	11 May 2025 11:35PM UTC	100	85.65	GitHub Action Run
3	run-3.12-base - 14960743934.3	11 May 2025 11:36PM UTC	100	85.65	GitHub Action Run
4	run-3.10-base - 14960743934.4	11 May 2025 11:35PM UTC	100	85.68	GitHub Action Run
5	run-3.10-z3-solver - 14960743934.5	11 May 2025 11:35PM UTC	100	91.33	GitHub Action Run
6	run-3.11-z3-solver - 14960743934.6	11 May 2025 11:34PM UTC	100	91.33	GitHub Action Run
7	run-3.9-z3-solver - 14960743934.7	11 May 2025 11:34PM UTC	100	91.15	GitHub Action Run
8	run-3.13-z3-solver - 14960743934.8	11 May 2025 11:35PM UTC	100	91.3	GitHub Action Run
9	run-3.11-base - 14960743934.9	11 May 2025 11:35PM UTC	100	85.68	GitHub Action Run
10	run-3.12-z3-solver - 14960743934.10	11 May 2025 11:36PM UTC	100	91.3	GitHub Action Run