26053258875
92%

Ran 18 May 2026 06:55PM UTC

Jobs 1

Files 103

Run time 1min

Badge

Committed 18 May 2026 06:42PM UTC coverage: 92.231% (+0.008%) from 92.223%

Build Type

push

github

Committed by

Commit Message

Fix mis-optimisation of real subtraction from zero

Fixes #1541

Coverage Stats

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

67 existing lines in 2 files now uncovered.

78592 of 85212 relevant lines covered (92.23%)

637603.55 hits per line

Lines	Coverage	∆	File
49	95.81	0.17%	src/vlog/vlog-parse.c
18	93.37	-0.07%	src/vlog/vlog-lower.c

ID	Job ID	Ran	Files	Coverage
1	26053258875.1	18 May 2026 06:55PM UTC	103	92.23	GitHub Action Run