Skip to content
locked

No shortcut for narrow and meet in HConsed when int refinement is active #8403

Sign in to view logs

No shortcut for narrow and meet in HConsed when int refinement is active

No shortcut for narrow and meet in HConsed when int refinement is active #8403

Run time

Learn about OS pricing on GitHub Actions
Job Run time
gobview (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, 14)
16m 29s
extraction
0s
regression (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
21m 8s
regression (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
35m 11s
1h 12m 48s