Skip to content
build-and-test

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-windows (ocaml.5.0.0,ocaml-option-mingw)
56m 51s
build-windows (ocaml.5.1.1,ocaml-option-mingw)
41m 50s
1h 38m 41s