4975
66%

Ran 28 Sep 2026 02:09AM UTC

Jobs 1

Files 329

Run time 1min

Badge

Committed 25 Sep 2026 11:51AM UTC coverage: 65.641%. Remained the same

Build # 4975

Build Type

push

github

Committed by

Commit Message

Merge pull request #2167 from goblint/base-invariant-meet-down

Use `id_meet_down` instead of `ID.meet` in `BaseInvariant`

Coverage Stats

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

107 existing lines in 1 file now uncovered.

23093 of 35181 relevant lines covered (65.64%)

395239.75 hits per line

Lines	Coverage	∆	File
107	77.2	0.0%	src/analyses/baseInvariant.ml

ID	Job ID	Ran	Files	Coverage
1	4975.1	28 Sep 2026 02:09AM UTC	329	65.64	GitHub Action Run