unlocked #788

Job	Run time
lower-bounds (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	22m 51s
opam-install (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)	17m 2s
lower-bounds (docker)	0s
lower-bounds (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	55m 15s
opam-install (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	53m 45s
regression (ubuntu-22.04, 5.2.x)	10m 36s
regression (ubuntu-22.04, 5.2.x, apron)	12m 50s
regression (ubuntu-22.04, 5.1.x)	10m 5s
regression (ubuntu-22.04, 5.1.x, apron)	12m 43s
regression (ubuntu-22.04, 5.0.x)	10m 0s
regression (ubuntu-22.04, 5.0.x, apron)	12m 43s
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)	10m 34s
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	13m 41s
regression (ubuntu-22.04, 4.14.x)	10m 6s
regression (ubuntu-22.04, 4.14.x, apron)	13m 0s
regression (macos-13, 5.2.x)	44m 25s
regression (macos-13, 5.2.x, apron)	40m 32s
regression (macos-13, 5.1.x)	35m 3s
regression (macos-13, 5.1.x, apron)	41m 45s
regression (macos-13, 5.0.x)	40m 36s
regression (macos-13, 5.0.x, apron)	42m 32s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	36m 9s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	40m 13s
regression (macos-13, 4.14.x)	33m 42s
regression (macos-13, 4.14.x, apron)	41m 29s
regression (ubuntu-22.04, 4.14.x, z3)	26m 11s
regression (macos-latest, 4.14.x)	16m 41s
	11h 44m 29s

Provide feedback