377
63%
master: 56%

Ran 20 Oct 2023 02:18PM UTC

Jobs 1

Files 57

Run time 3s

Badge

Embed ▾

Committed 20 Oct 2023 02:10PM UTC coverage: 63.279%. Remained the same

Build # 377

Build Type

push

github

Committed by

panglesd

Commit Message

Update odoc-parser's constraint on dune

Since the `dune-project` file has

```
(lang dune 3.7)
```

it generates a warning to build the odoc parser with a too old version of dune.

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

Run Details

3860 of 6100 relevant lines covered (63.28%)

1584.57 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	377.1	20 Oct 2023 02:18PM UTC	0	63.28	GitHub Action Run

Source Files on build 377

Detailed source file information is not available for this build.

panglesd / odoc / 377
63%
master: 56%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 377

panglesd / odoc / 377 63% master: 56%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 377

panglesd / odoc / 377
63%
master: 56%

README BADGES
x