1725
73%

Ran 06 Dec 2023 01:22PM UTC

Jobs 1

Files 80

Run time 11s

Badge

Embed ▾

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

Build # 1725

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	1725.1	06 Dec 2023 01:22PM UTC	0	56.34	GitHub Action Run

Source Files on build 1725

Detailed source file information is not available for this build.

ocaml / odoc / 1725
73%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1725

ocaml / odoc / 1725 73%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1725

ocaml / odoc / 1725
73%

README BADGES
x