ellmau / adf-obdd / 1692628340
88%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 8
Run time 2s
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
1692628340

push

github

GitHub 
BUGFIX three valued interpretations and complete interpretations (#16)

39 of 39 new or added lines in 2 files covered. (100.0%)

826 of 895 relevant lines covered (92.29%)

3.34 hits per line

Jobs
ID Job ID Ran Files Coverage
1 1692628340.1 0
92.29
 GitHub Action Run
Source Files on build 1692628340
Detailed source file information is not available for this build.