Skip to content
locked

No shortcut meet and narrow w/ int refinement #8401

Sign in to view logs

No shortcut meet and narrow w/ int refinement

No shortcut meet and narrow w/ int refinement #8401

Run time

Learn about OS pricing on GitHub Actions
Job Run time
extraction
0s
gobview (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, 14)
15m 45s
regression (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
23m 6s
regression (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
31m 41s
1h 10m 32s