3813
65%

Ran 15 Nov 2025 03:02AM UTC

Jobs 1

Files 302

Run time 1min

Badge

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

Build # 3813

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

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

19 existing lines in 2 files now uncovered.

20927 of 34073 relevant lines covered (61.42%)

405135.43 hits per line

Lines	Coverage	∆	File
8	72.88	-3.21%	src/cdomain/value/domains/invariantCil.ml
11	59.62	1.12%	src/gobApron.ml

ID	Job ID	Ran	Files	Coverage
1	3813.1	15 Nov 2025 03:02AM UTC	302	61.42	GitHub Action Run