dedis / ci_setup / 3321024257
50%

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

push

github

GitHub 
add quality gate status badge

12 of 24 relevant lines covered (50.0%)

0.5 hits per line

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