Skip to content
build-and-test

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

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 #989

Run time

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