17750192065
94%

Ran 16 Sep 2025 12:23AM UTC

Jobs 10

Files 51

Run time 1min

Badge

Committed 16 Sep 2025 12:10AM UTC coverage: 94.879% (+0.3%) from 94.561%

Build Type

push

github

Committed by

Commit Message

Added tests for functions in node_printers.py (#1233)

Run Details

3576 of 3769 relevant lines covered (94.88%)

18.02 hits per line

ID	Job ID	Ran	Files	Coverage
1	run-3.12-base - 17750192065.1	16 Sep 2025 12:42AM UTC	98	86.52	GitHub Action Run
2	run-3.11-z3-solver - 17750192065.2	16 Sep 2025 12:40AM UTC	98	94.14	GitHub Action Run
3	run-3.12-z3-solver - 17750192065.3	16 Sep 2025 12:42AM UTC	98	94.11	GitHub Action Run
4	run-3.10-z3-solver - 17750192065.4	16 Sep 2025 12:41AM UTC	98	94.16	GitHub Action Run
5	run-3.13-z3-solver - 17750192065.5	16 Sep 2025 12:26AM UTC	98	94.11	GitHub Action Run
6	run-3.11-base - 17750192065.6	16 Sep 2025 12:41AM UTC	98	86.55	GitHub Action Run
7	run-3.13-base - 17750192065.7	16 Sep 2025 12:23AM UTC	98	86.52	GitHub Action Run
8	run-3.9-base - 17750192065.8	16 Sep 2025 12:24AM UTC	98	85.41	GitHub Action Run
9	run-3.10-base - 17750192065.9	16 Sep 2025 12:42AM UTC	98	86.55	GitHub Action Run
10	run-3.9-z3-solver - 17750192065.10	16 Sep 2025 12:25AM UTC	98	93.09	GitHub Action Run