Skip to content
build-and-test

Use tagged GADT with better naming for the internals of Dllist #990

Sign in to view logs

Use tagged GADT with better naming for the internals of Dllist

Use tagged GADT with better naming for the internals of Dllist #990

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-windows (ocaml.5.0.0,ocaml-option-mingw)
55m 35s
build-windows (ocaml.5.1.1,ocaml-option-mingw)
39m 58s
1h 35m 33s