19663605704
93%
master: 93%

Ran 25 Nov 2025 08:59AM UTC

Jobs 1

Files 100

Run time 1min

Badge

Committed 25 Nov 2025 08:49AM UTC coverage: 92.565% (+0.006%) from 92.559%

Build Type

push

github

Committed by

Commit Message

Fix crash with 'stable used on record with unconstrained field

Run Details

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

42 existing lines in 1 file now uncovered.

75169 of 81207 relevant lines covered (92.56%)

461801.99 hits per line

Lines	Coverage	∆	File
42	94.77	0.05%	src/elab.c

ID	Job ID	Ran	Files	Coverage
1	19663605704.1	25 Nov 2025 08:59AM UTC	100	92.56	GitHub Action Run