1
65%
master: 65%

Ran 15 Nov 2025 03:02AM UTC

Files 302

Run time 7s

Badge

Committed 14 Nov 2025 01:24PM UTC coverage: 61.418% (+0.005%) from 61.413%

Build Type

push

github

Committed by

Commit Message

Merge pull request #1875 from goblint/conf-fd-leak

Fix file descriptor leak in `GobConfig.merge_file`

Run Details

20927 of 34073 relevant lines covered (61.42%)

405135.43 hits per line