4798
65%

Ran 19 Aug 2026 02:18AM UTC

Jobs 1

Files 325

Run time 1min

Badge

Committed 18 Aug 2026 12:49PM UTC coverage: 65.321% (+0.003%) from 65.318%

Build # 4798

Build Type

push

github

Committed by

Commit Message

Merge pull request #2096 from goblint/issue-2092

Fix `alloca` returning `NULL`

Coverage Stats

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

1 existing line in 1 file now uncovered.

22871 of 35013 relevant lines covered (65.32%)

396237.37 hits per line

Lines	Coverage	∆	File
1	82.44	0.07%	src/analyses/base.ml

ID	Job ID	Ran	Files	Coverage
1	4798.1	19 Aug 2026 02:18AM UTC	325	65.32	GitHub Action Run