unlocked #1972

Job	Run time
lower-bounds (docker)	0s
opam-install (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)	17m 27s
lower-bounds (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	20m 2s
opam-install (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	1h 8m 18s
lower-bounds (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	49m 51s
regression (ubuntu-22.04, 5.2.x)	10m 3s
regression (ubuntu-22.04, 5.2.x, apron)	12m 53s
regression (ubuntu-22.04, 5.1.x)	10m 4s
regression (ubuntu-22.04, 5.1.x, apron)	14m 1s
regression (ubuntu-22.04, 5.0.x)	10m 7s
regression (ubuntu-22.04, 5.0.x, apron)	12m 54s
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)	11m 28s
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	13m 29s
regression (ubuntu-22.04, 4.14.x)	10m 22s
regression (ubuntu-22.04, 4.14.x, apron)	12m 46s
regression (macos-13, 5.2.x)	37m 50s
regression (macos-13, 5.2.x, apron)	46m 33s
regression (macos-13, 5.1.x)	40m 9s
regression (macos-13, 5.1.x, apron)	42m 9s
regression (macos-13, 5.0.x)	35m 40s
regression (macos-13, 5.0.x, apron)	46m 20s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	42m 21s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	46m 11s
regression (macos-13, 4.14.x)	38m 36s
regression (macos-13, 4.14.x, apron)	45m 39s
regression (ubuntu-22.04, 4.14.x, z3)	26m 27s
regression (macos-latest, 4.14.x)	21m 18s
	12h 22m 58s

Provide feedback