unlocked #793

Job	Run time
lower-bounds (docker)	0s
lower-bounds (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	22m 17s
opam-install (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)	16m 54s
lower-bounds (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	1h 9m 35s
opam-install (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	53m 39s
regression (ubuntu-22.04, 5.2.x)	9m 49s
regression (ubuntu-22.04, 5.2.x, apron)	12m 33s
regression (ubuntu-22.04, 5.1.x)	9m 56s
regression (ubuntu-22.04, 5.1.x, apron)	12m 13s
regression (ubuntu-22.04, 5.0.x)	9m 54s
regression (ubuntu-22.04, 5.0.x, apron)	13m 8s
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)	10m 44s
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	13m 20s
regression (ubuntu-22.04, 4.14.x)	10m 10s
regression (ubuntu-22.04, 4.14.x, apron)	12m 44s
regression (macos-13, 5.2.x)	36m 20s
regression (macos-13, 5.2.x, apron)	37m 15s
regression (macos-13, 5.1.x)	38m 12s
regression (macos-13, 5.1.x, apron)	40m 48s
regression (macos-13, 5.0.x)	36m 42s
regression (macos-13, 5.0.x, apron)	41m 7s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	35m 3s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	46m 52s
regression (macos-13, 4.14.x)	33m 55s
regression (macos-13, 4.14.x, apron)	36m 28s
regression (ubuntu-22.04, 4.14.x, z3)	25m 52s
regression (macos-latest, 4.14.x)	52s
	11h 26m 22s

Provide feedback