1789
56%
master: 73%

Ran 18 Dec 2023 03:04PM UTC

Jobs 1

Files 80

Run time 7s

Badge

Embed ▾

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

Build # 1789

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	1789.1	18 Dec 2023 03:04PM UTC	0	56.48	GitHub Action Run

Source Files on build 1789

Detailed source file information is not available for this build.

ocaml / odoc / 1789
56%
master: 73%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1789

ocaml / odoc / 1789 56% master: 73%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1789

ocaml / odoc / 1789
56%
master: 73%

README BADGES
x