15795045157
93%

Ran 21 Jun 2025 11:13AM UTC

Jobs 1

Files 97

Run time 1min

Badge

Committed 21 Jun 2025 11:00AM UTC coverage: 92.252% (+0.001%) from 92.251%

Build Type

push

github

Committed by

Commit Message

Add `--ieee-warnings=off-at-0` option

Fixes #1214

Co-authored-by: Aadi Desai <21363892+supleed2@users.noreply.github.com>

Run Details

23 of 25 new or added lines in 4 files covered. (92.0%)

69692 of 75545 relevant lines covered (92.25%)

576590.75 hits per line

Lines	Coverage	∆	File
2	63.75	0.42%	src/nvc.c

ID	Job ID	Ran	Files	Coverage
1	15795045157.1	21 Jun 2025 11:13AM UTC	97	92.25	GitHub Action Run