dedis / dela / 228293004
98%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 125
Run time 2min
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
228293004

push

github

GitHub 
Merge pull request #90 from dedis/nkcr-patch-1

11827 of 12178 relevant lines covered (97.12%)

4395.18 hits per line

Jobs
ID Job ID Ran Files Coverage
1 0 - 228293004.1 0
97.12
 GitHub Action Run
Source Files on build 228293004
Detailed source file information is not available for this build.