Skip to content
locked

Weaken Lattice.Lift{,2}Conf arguments, remove Lattice.LiftPO #13211

Sign in to view logs

Weaken Lattice.Lift{,2}Conf arguments, remove Lattice.LiftPO

Weaken Lattice.Lift{,2}Conf arguments, remove Lattice.LiftPO #13211

Run time

Learn about OS pricing on GitHub Actions
Job Run time
gobview (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, 14)
8m 1s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)
21m 15s
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)
8m 19s
extraction
0s
37m 35s