goblint / analyzer / 357
63%
master: 62%

LAST BUILD BRANCH: issue_1651
DEFAULT BRANCH: master
Ran
Jobs 1
Files 244
Run time 32s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 59.833%. First build
357

Pull #1136

github

GitHub 
Merge a8a8899d9 into a135dea1f
Pull Request #1136:

17014 of 28436 relevant lines covered (59.83%)

54175.21 hits per line

Jobs
ID Job ID Ran Files Coverage
1 357.1 244
59.83
 GitHub Action Run
Source Files on build 357