366
59%
master: 56%

Ran 05 Oct 2023 08:05AM UTC

Jobs 1

Files 78

Run time 3s

Badge

Embed ▾

Committed 05 Oct 2023 07:50AM UTC coverage: 58.617% (-0.04%) from 58.656%

Build # 366

Build Type

push

github

Committed by

Julow

Commit Message

Add instrumentation with landmarks

Also, activates bisect_ppx on some modules where it was missing.

Use `dune build --with-instrumentation landmarks`.

Signed-off-by: Paul-Elliot <peada@free.fr>
Co-authored-by: Jules Aguillon <jules@j3s.fr>

Run Details

7020 of 11976 relevant lines covered (58.62%)

852.72 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	366.1	05 Oct 2023 08:05AM UTC	0	58.62	GitHub Action Run

Source Files on build 366

Detailed source file information is not available for this build.

panglesd / odoc / 366
59%
master: 56%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 366

panglesd / odoc / 366 59% master: 56%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 366

panglesd / odoc / 366
59%
master: 56%

README BADGES
x