1
66%
master: 66%

Ran 25 Jan 2026 03:41AM UTC

Files 316

Run time 6s

Badge

Committed 23 Jan 2026 06:41PM UTC coverage: 65.542%. Remained the same

Build Type

push

github

Committed by

Commit Message

Merge pull request #1929 from goblint/checks-integer-overflow

Split integer overflow category in dashboard checks

Run Details

22720 of 34665 relevant lines covered (65.54%)

403064.47 hits per line