ocaml / dune / 12799
7%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 391
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
12799

push

github

Ali Caglayan 
refactor(coq): inline coqc_rule

13825 of 33471 relevant lines covered (41.3%)

27973.31 hits per line

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