4929
66%

Ran 18 Sep 2026 01:59AM UTC

Jobs 1

Files 327

Run time 1min

Badge

Committed 17 Sep 2026 05:46PM UTC coverage: 65.473%. Remained the same

Build # 4929

Build Type

push

github

Committed by

Commit Message

Merge pull request #2108 from goblint/qsolver-deadcode-escape

Delay `Spec` lifter argument conversions until exception handlers inside `lift_fun`

Coverage Stats

3 of 4 new or added lines in 2 files covered. (75.0%)

22915 of 34999 relevant lines covered (65.47%)

396694.24 hits per line

Lines	Coverage	∆	File
1	67.69	0.0%	src/lifters/wideningTokenLifter.ml

ID	Job ID	Ran	Files	Coverage
1	4929.1	18 Sep 2026 01:59AM UTC	327	65.47	GitHub Action Run