5094
67%

Ran 18 Oct 2026 02:00AM UTC

Jobs 1

Files 329

Run time 1min

Badge

Committed 17 Oct 2026 07:39AM UTC coverage: 65.723% (+0.009%) from 65.714%

Build # 5094

Build Type

push

github

Committed by

Commit Message

Merge pull request #2205 from goblint/nan-ne-both-branches-dead

Fix `!=` with a single NaN operand being evaluated as always false

Coverage Stats

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

23145 of 35216 relevant lines covered (65.72%)

395618.99 hits per line

ID	Job ID	Ran	Files	Coverage
1	5094.1	18 Oct 2026 02:00AM UTC	329	65.72	GitHub Action Run