panglesd / odoc / 846
72%
master: 56%

LAST BUILD BRANCH: include-libs-from-packages
DEFAULT BRANCH: master
Ran
Jobs 1
Files 90
Run time 1min
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: 72.476% (+0.005%) from 72.471%
846

push

github

panglesd 
CLI for generating source: invert source and impl order

Source is now the positional argument, while impl is passed as an argument. When
we generate source for other files (such as dune or .mli or Makefiles or ...)
this will come handy.

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

9985 of 13777 relevant lines covered (72.48%)

3036.97 hits per line

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