Skip to content
build-and-test

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

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

Run time

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