goblint / analyzer / 424
63%
master: 62%

LAST BUILD BRANCH: issue_1651
DEFAULT BRANCH: master
Ran
Jobs 1
Files 244
Run time 7s
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.756%. First build
424

Pull #1137

github

GitHub 
Merge 2213e5dd3 into f2b002d66
Pull Request #1137:

16951 of 28367 relevant lines covered (59.76%)

54417.17 hits per line

Jobs
ID Job ID Ran Files Coverage
1 424.1 244
59.76
 GitHub Action Run
Source Files on build 424