Skip to content

Driver: reenable non-selected landing pages in remap mode #2700

Driver: reenable non-selected landing pages in remap mode

Driver: reenable non-selected landing pages in remap mode #2700

Annotations

1 warning

build (ubuntu-latest, 4.08)

succeeded Dec 16, 2024 in 6m 4s
Set up job
1s
Set git to use LF
0s
Checkout tree
1s
Set-up OCaml 4.08
4m 22s
Install dependencies
1m 24s
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