Skip to content
build-and-test

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-windows (ocaml.5.0.0,ocaml-option-mingw)
55m 44s
build-windows (ocaml.5.1.1,ocaml-option-mingw)
40m 18s
1h 36m 2s