1
72%
master: 56%

Ran 29 Jul 2024 02:58PM UTC

Files 91

Run time 3s

Badge

Embed ▾

Committed 29 Jul 2024 02:47PM UTC coverage: 71.901% (+0.03%) from 71.87%

Job # 786.1

Build Type

push

github

Committed by

panglesd

Commit Message

Driver: Separate package and odoc unit types

This factors works from the various "package extractors" (from the opam switch,
the dune `_build/default` directory, the voodoo way).

It makes it more readable as:
- The various "extractors" have less things to do,
- The paths for an odoc unit are computed once, all at the same place and
without bothering running the commands
- Running the commands in the right order is much simpler with all args
pre-computed.

Also, it allows to add odoc units from outside of a package, which will be
useful for adding pages outside of any package.

Coverage Stats

9964 of 13858 relevant lines covered (71.9%)

3016.11 hits per line

panglesd / odoc / 786 / 1
72%
master: 56%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 786.1

panglesd / odoc / 786 / 1 72% master: 56%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 786.1

panglesd / odoc / 786 / 1
72%
master: 56%

README BADGES
x