13357850238
93%

Ran 16 Feb 2025 06:59PM UTC

Jobs 1

Files 86

Run time 1min

Badge

Committed 16 Feb 2025 06:49PM UTC coverage: 92.141% (-0.006%) from 92.147%

Build Type

push

github

Committed by

Commit Message

Fix VHPI crash with record element subtype constraint. Issue #1161

Run Details

27 of 27 new or added lines in 2 files covered. (100.0%)

7 existing lines in 1 file now uncovered.

64310 of 69795 relevant lines covered (92.14%)

501945.33 hits per line

Lines	Coverage	∆	File
7	76.52	-0.9%	src/server.c

ID	Job ID	Ran	Files	Coverage
1	13357850238.1	16 Feb 2025 06:59PM UTC	86	92.14	GitHub Action Run