273
62%

Ran 29 Jul 2023 02:33AM UTC

Jobs 1

Files 243

Run time 4s

Badge

Committed 29 Jul 2023 02:33AM UTC coverage: 59.322% (-0.002%) from 59.324%

Build # 273

Build Type

push

github

Committed by Simmo Saan

Commit Message

Fix UnionDomain crash on chrony

Run Details

2 of 3 new or added lines in 1 file covered. (66.67%)

16488 of 27794 relevant lines covered (59.32%)

55125.83 hits per line

Lines	Coverage	∆	File
1	79.69	-0.05%	src/analyses/base.ml

ID	Job ID	Ran	Files	Coverage
1	273.1	29 Jul 2023 02:33AM UTC	243	59.32	GitHub Action Run