1
73%
master: 73%

Ran 06 Dec 2023 01:22PM UTC

Files 80

Run time 2s

Badge

Embed ▾

Committed 06 Dec 2023 01:17PM UTC coverage: 56.339%. Remained the same

Job # 1725.1

Build Type

push

github

Committed by

jonludlam

Commit Message

Fix default alias

The default alias will build every target known to dune. Since the addition of
benchmarking, the rule running the reference driver does have a target, and was
runned at each invokation of `dune build` in the root of the project.

This makes the default rules of the root directory an alias for the default rule
of the `src` directory, avoiding running the reference driver too often (it also
removes some rules in test from the root default alias).

Signed-off-by: Paul-Elliot <peada@free.fr>

Run Details

7097 of 12597 relevant lines covered (56.34%)

818.16 hits per line

ocaml / odoc / 1725 / 1
73%
master: 73%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1725.1

ocaml / odoc / 1725 / 1 73% master: 73%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1725.1

ocaml / odoc / 1725 / 1
73%
master: 73%

README BADGES
x