2254
65%

Ran 27 Aug 2024 02:40AM UTC

Jobs 1

Files 254

Run time 1min

Badge

Committed 26 Aug 2024 07:20AM UTC coverage: 62.835%. Remained the same

Build # 2254

Build Type

push

github

Committed by

Commit Message

Merge pull request #1563 from goblint/location_of_yojson

Default the value of `CilType.Location.Byte` to -1 if missing in JSON

Run Details

0 of 2 new or added lines in 1 file covered. (0.0%)

18748 of 29837 relevant lines covered (62.83%)

454629.16 hits per line

Lines	Coverage	∆	File
2	52.02	0.0%	src/common/util/cilType.ml

ID	Job ID	Ran	Files	Coverage
1	2254.1	27 Aug 2024 02:40AM UTC	254	62.83	GitHub Action Run