3933
65%

Ran 10 Dec 2025 03:18AM UTC

Jobs 1

Files 312

Run time 1min

Badge

Committed 09 Dec 2025 02:04PM UTC coverage: 65.446% (+0.02%) from 65.431%

Build # 3933

Build Type

push

github

Committed by

Commit Message

Merge pull request #1889 from goblint/dbg-regression

Remove `dbg.regression` option

Run Details

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

22471 of 34335 relevant lines covered (65.45%)

405750.06 hits per line

ID	Job ID	Ran	Files	Coverage
1	3933.1	10 Dec 2025 03:18AM UTC	312	65.45	GitHub Action Run