18421542532
94%

Ran 11 Oct 2025 12:34AM UTC

Jobs 10

Files 51

Run time 1min

Badge

Committed 11 Oct 2025 12:25AM UTC coverage: 94.292%. First build

Build Type

push

github

Committed by

Commit Message

Fixed test_html_server.py tests to be compatible with Windows (#1249)

Run Details

3502 of 3714 relevant lines covered (94.29%)

17.93 hits per line

ID	Job ID	Ran	Files	Coverage
1	run-3.13-base - 18421542532.1	11 Oct 2025 12:56AM UTC	98	85.79	GitHub Action Run
2	run-3.12-z3-solver - 18421542532.2	11 Oct 2025 12:38AM UTC	98	93.97	GitHub Action Run
3	run-3.10-z3-solver - 18421542532.3	11 Oct 2025 12:38AM UTC	98	94.02	GitHub Action Run
4	run-3.11-base - 18421542532.4	11 Oct 2025 12:39AM UTC	98	85.81	GitHub Action Run
5	run-3.11-z3-solver - 18421542532.5	11 Oct 2025 12:39AM UTC	98	94.0	GitHub Action Run
6	run-3.12-base - 18421542532.6	11 Oct 2025 12:36AM UTC	98	85.79	GitHub Action Run
7	run-3.9-z3-solver - 18421542532.7	11 Oct 2025 12:34AM UTC	98	92.94	GitHub Action Run
8	run-3.13-z3-solver - 18421542532.8	11 Oct 2025 12:56AM UTC	98	93.97	GitHub Action Run
9	run-3.9-base - 18421542532.9	11 Oct 2025 12:36AM UTC	98	84.69	GitHub Action Run
10	run-3.10-base - 18421542532.10	11 Oct 2025 12:39AM UTC	98	85.81	GitHub Action Run