5071
67%

Ran 16 Oct 2026 01:59AM UTC

Jobs 1

Files 329

Run time 1min

Badge

Committed 15 Oct 2026 12:03PM UTC coverage: 65.712% (+0.009%) from 65.703%

Build # 5071

Build Type

push

github

Committed by

Commit Message

Merge pull request #2195 from goblint/base-evalbinop-typ

Remove unused `evalbinop` type arguments in base

Coverage Stats

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

23136 of 35208 relevant lines covered (65.71%)

395698.56 hits per line

ID	Job ID	Ran	Files	Coverage
1	5071.1	16 Oct 2026 01:59AM UTC	329	65.71	GitHub Action Run