Skip to content

Merge Sherlodoc

Merge Sherlodoc #2695

Annotations

1 warning

build (ubuntu-latest, 4.08)

succeeded Dec 13, 2024 in 2m 21s
Set up job
1s
Set git to use LF
0s
Checkout tree
1s
Set-up OCaml 4.08
38s
Install dependencies
1m 25s
dune runtest
0s
dune runtest
14s
Mdx tests
0s
Send coverage stats to Coveralls
0s
Post Set-up OCaml 4.08
1s
Post Checkout tree
0s
Complete job
0s