20845393149
93%

Ran 09 Jan 2026 08:16AM UTC

Jobs 1

Files 101

Run time 1min

Badge

Committed 09 Jan 2026 08:06AM UTC coverage: 92.601% (+0.004%) from 92.597%

Build Type

push

github

Committed by

Commit Message

Handle empty named port connections

Fixes #1293

Run Details

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

101 existing lines in 2 files now uncovered.

76029 of 82104 relevant lines covered (92.6%)

474444.7 hits per line

Lines	Coverage	∆	File
10	97.62	0.0%	src/mir/mir-node.c
91	94.4	0.05%	src/vlog/vlog-lower.c

ID	Job ID	Ran	Files	Coverage
1	20845393149.1	09 Jan 2026 08:16AM UTC	101	92.6	GitHub Action Run