18326250897
93%

Ran 07 Oct 2025 09:22PM UTC

Jobs 1

Files 100

Run time 1min

Badge

Committed 07 Oct 2025 09:07PM UTC coverage: 92.78% (+0.01%) from 92.769%

Build Type

push

github

Committed by

Commit Message

Handle record element constraints in get_subtype_for

Fixes #1318

Run Details

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

14 existing lines in 1 file now uncovered.

75048 of 80888 relevant lines covered (92.78%)

546231.61 hits per line

Lines	Coverage	∆	File
14	96.43	-0.03%	src/vlog/vlog-sem.c

ID	Job ID	Ran	Files	Coverage
1	18326250897.1	07 Oct 2025 09:22PM UTC	100	92.78	GitHub Action Run