5033
67%

Ran 12 Oct 2026 02:20AM UTC

Jobs 1

Files 329

Run time 1min

Badge

Committed 11 Oct 2026 10:13AM UTC coverage: 65.667% (-0.002%) from 65.669%

Build # 5033

Build Type

push

github

Committed by

Commit Message

Merge pull request #2185 from goblint/min_range_sign_agnostic-64

Remove unnecessary 64 bit check in `min_range_sign_agnostic`

Coverage Stats

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

23099 of 35176 relevant lines covered (65.67%)

395421.91 hits per line

ID	Job ID	Ran	Files	Coverage
1	5033.1	12 Oct 2026 02:20AM UTC	329	65.67	GitHub Action Run