1
56%
master: 73%

Ran 18 Dec 2023 03:04PM UTC

Files 80

Run time 1s

Badge

Embed ▾

Committed 18 Dec 2023 02:58PM UTC coverage: 56.482%. Remained the same

Job # 1789.1

Build Type

push

github

Committed by

Julow

Commit Message

doc: Use Sherlodoc as search engine

This changes driver.mld to use sherlodoc. The database is 11MB large.

Sherlodoc's sources must be cloned into the dune workspace in order for
it to use the same version of Odoc as the driver. Installing it via Opam
results in magic number clashes.

Run Details

7102 of 12574 relevant lines covered (56.48%)

819.83 hits per line

ocaml / odoc / 1789 / 1
56%
master: 73%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1789.1

ocaml / odoc / 1789 / 1 56% master: 73%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1789.1

ocaml / odoc / 1789 / 1
56%
master: 73%

README BADGES
x