902
73%
master: 56%

Ran 04 Oct 2024 01:08PM UTC

Jobs 1

Files 92

Run time 1min

Badge

Embed ▾

Committed 04 Oct 2024 12:55PM UTC coverage: 72.996%. First build

Build # 902

Build Type

push

github

Committed by

panglesd

Commit Message

Fix using `odoc_driver` to build `odoc`

Quoting the docs of the Findlib library:

> * Furthermore, the environment variables OCAMLPATH, OCAMLFIND_DESTDIR,
> * OCAMLFIND_COMMANDS, OCAMLFIND_IGNORE_DUPS_IN, and CAMLLIB are interpreted.
> * By default, the function takes
> * the values found in the environment, but you can pass different values
> * using the [env_*] arguments. By setting these values to empty strings
> * they are no longer considered.

So when we do

```
dune exec -- odoc_driver -p odoc
```

findlib finds the `odoc` library in `_build/install` in some part of the
codebase, in `<opam switch>/lib/odoc` in some other parts of the code, which
results in the docs for `odoc` not being built.

This changes to consistently find the `<opam switch>/lib/odoc`.

Run Details

10264 of 14061 relevant lines covered (73.0%)

2961.76 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	902.1	04 Oct 2024 01:08PM UTC	0	73.0	GitHub Action Run

Source Files on build 902

Detailed source file information is not available for this build.

panglesd / odoc / 902
73%
master: 56%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 902

panglesd / odoc / 902 73% master: 56%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 902

panglesd / odoc / 902
73%
master: 56%

README BADGES
x