4979
66%

Ran 29 Sep 2026 02:06AM UTC

Jobs 1

Files 329

Run time 1min

Badge

Committed 28 Sep 2026 11:56AM UTC coverage: 65.642% (+0.001%) from 65.641%

Build # 4979

Build Type

push

github

Committed by

Commit Message

Merge pull request #2169 from goblint/base-invariant-meet-down2

Fix bitfield bitwise operators and congruence parity in unassume

Coverage Stats

12 of 12 new or added lines in 2 files covered. (100.0%)

23093 of 35180 relevant lines covered (65.64%)

395250.98 hits per line

ID	Job ID	Ran	Files	Coverage
1	4979.1	29 Sep 2026 02:06AM UTC	329	65.64	GitHub Action Run