2492
73%

Ran 05 Nov 2024 10:35PM UTC

Jobs 1

Files 92

Run time 1min

Badge

Embed ▾

Committed 05 Nov 2024 10:30PM UTC coverage: 72.981%. Remained the same

Build # 2492

Build Type

push

github

Committed by

jonludlam

Commit Message

Driver: uniformize names for _odoc dir

`odoc_dir` was sometimes used to refer to the root of the directory containing
.odoc files (`_odoc` by default), and sometimes used to refer to the direct
parent of a `.odoc` file.

The root of the directory containing `.odoc` files was referred as `odoc_dir`,
`output_dir`.

The root of the directory containing `.odocl` files was referred as `odocl_dir`,
`link_dir`, `linked_dir`.

This commit cleans that. The root of the directory for `.odoc` files is
consistently named `odoc_dir`, the root for `.odocl` files is
`odocl_dir`.

Run Details

10259 of 14057 relevant lines covered (72.98%)

2962.84 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	2492.1	05 Nov 2024 10:35PM UTC	0	72.98	GitHub Action Run

Source Files on build 2492

Detailed source file information is not available for this build.

ocaml / odoc / 2492
73%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2492

ocaml / odoc / 2492 73%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2492

ocaml / odoc / 2492
73%

README BADGES
x