787
72%
master: 56%

Ran 29 Jul 2024 02:59PM UTC

Jobs 1

Files 91

Run time 1min

Badge

Embed ▾

Committed 29 Jul 2024 02:53PM UTC coverage: 71.901%. Remained the same

Build # 787

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.

Indexes are temporarily removed in this commit

Run Details

9964 of 13858 relevant lines covered (71.9%)

3016.11 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	787.1	29 Jul 2024 02:59PM UTC	0	71.9	GitHub Action Run

Source Files on build 787

Detailed source file information is not available for this build.

panglesd / odoc / 787
72%
master: 56%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 787

panglesd / odoc / 787 72% master: 56%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 787

panglesd / odoc / 787
72%
master: 56%

README BADGES
x