3689
61%

Ran 18 Oct 2025 02:53AM UTC

Jobs 1

Files 301

Run time 1min

Badge

Committed 10 Oct 2025 10:49AM UTC coverage: 61.575% (-0.2%) from 61.783%

Build # 3689

Build Type

push

github

Committed by

Commit Message

Merge pull request #1752 from goblint/g2html-ocaml

Output g2html directly

Run Details

4 of 227 new or added lines in 7 files covered. (1.76%)

21055 of 34194 relevant lines covered (61.58%)

403545.92 hits per line

Lines	Coverage	∆	File
1	61.76	0.0%	src/framework/control.ml
2	57.63	2.79%	src/maingoblint.ml
3	34.04	-2.32%	src/util/std/gobSys.ml
5	28.57	-71.43%	src/util/std/gobHashtbl.ml
11	0.0		src/util/codeHighlighter.ml
42	6.67		src/framework/analysisResultOutput.ml
159	0.0		src/framework/xsltResultOutput.ml

ID	Job ID	Ran	Files	Coverage
1	3689.1	18 Oct 2025 02:53AM UTC	301	61.58	GitHub Action Run