Skip to content
Back to pull request #203

Use stm_run private lib (from Picos) with time based deadline #1198

Sign in to view logs

Use stm_run private lib (from Picos) with time based deadline

Use stm_run private lib (from Picos) with time based deadline #1198

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-windows (ocaml.5.0.0,ocaml-option-mingw)
8m 24s
build-windows (ocaml.5.1.1,ocaml-option-mingw)
8m 20s
build-windows (ocaml.5.2.0,ocaml-option-mingw)
9m 26s
26m 10s