Skip to content
locked

Optimize none base privatization, add eager Vojdani privatization #12444

Sign in to view logs

Optimize none base privatization, add eager Vojdani privatization

Optimize none base privatization, add eager Vojdani privatization #12444

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)
6m 15s
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)
4m 8s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)
7m 2s
extraction
0s
17m 25s