13357744894
93%
master: 93%

Ran 16 Feb 2025 06:45PM UTC

Jobs 1

Files 86

Run time 1min

Badge

Committed 16 Feb 2025 06:34PM UTC coverage: 92.14% (-0.007%) from 92.147%

Build Type

push

github

Committed by

Commit Message

Fix VHPI crash with record element subtype constraint. Issue xxx

Run Details

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

8 existing lines in 2 files now uncovered.

64309 of 69795 relevant lines covered (92.14%)

506137.12 hits per line

Lines	Coverage	∆	File
1	90.16	-0.18%	src/thread.c
7	76.52	-0.9%	src/server.c

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