4291
65%

Ran 07 Apr 2026 02:30AM UTC

Jobs 1

Files 317

Run time 1min

Badge

Committed 06 Apr 2026 07:45AM UTC coverage: 65.488% (+0.003%) from 65.485%

Build # 4291

Build Type

push

github

Committed by

Commit Message

Merge pull request #1972 from goblint/issue-1566

Avoid collecting TD3 `dep` when non-incremental

Coverage Stats

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

22670 of 34617 relevant lines covered (65.49%)

400548.69 hits per line

ID	Job ID	Ran	Files	Coverage
1	4291.1	07 Apr 2026 02:30AM UTC	317	65.49	GitHub Action Run