Skip to content
build-and-test

Change to use Picos instead of DLA and DLT #1266

Sign in to view logs

Change to use Picos instead of DLA and DLT

Change to use Picos instead of DLA and DLT #1266

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-windows (ocaml.5.0.0,ocaml-option-mingw)
12m 4s
build-windows (ocaml.5.0.0,ocaml-option-mingw)
12m 4s
build-windows (ocaml.5.0.0,ocaml-option-mingw)
44m 25s
build-windows (ocaml.5.1.1,ocaml-option-mingw)
2h 9m 6s
build-windows (ocaml.5.1.1,ocaml-option-mingw)
11m 43s
build-windows (ocaml.5.1.1,ocaml-option-mingw)
11m 31s
build-windows (ocaml.5.2.0,ocaml-option-mingw)
10m 49s
build-windows (ocaml.5.2.0,ocaml-option-mingw)
10m 49s
build-windows (ocaml.5.2.0,ocaml-option-mingw)
44m 26s
4h 46m 57s