unlocked #2057

Job	Run time
lower-bounds (docker)	0s
lower-bounds (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	22m 49s
opam-install (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)	16m 44s
lower-bounds (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	1h 0m 29s
opam-install (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	51m 25s
regression (ubuntu-22.04, 5.2.x)	10m 17s
regression (ubuntu-22.04, 5.2.x, apron)	12m 49s
regression (ubuntu-22.04, 5.1.x)	10m 4s
regression (ubuntu-22.04, 5.1.x, apron)	12m 44s
regression (ubuntu-22.04, 5.0.x)	9m 50s
regression (ubuntu-22.04, 5.0.x, apron)	12m 47s
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)	10m 51s
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	13m 55s
regression (ubuntu-22.04, 4.14.x)	9m 58s
regression (ubuntu-22.04, 4.14.x, apron)	13m 6s
regression (macos-13, 5.2.x)	36m 58s
regression (macos-13, 5.2.x, apron)	42m 12s
regression (macos-13, 5.1.x)	34m 39s
regression (macos-13, 5.1.x, apron)	42m 14s
regression (macos-13, 5.0.x)	39m 25s
regression (macos-13, 5.0.x, apron)	42m 36s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	33m 24s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	43m 15s
regression (macos-13, 4.14.x)	36m 21s
regression (macos-13, 4.14.x, apron)	36m 37s
regression (ubuntu-22.04, 4.14.x, z3)	25m 31s
regression (macos-latest, 4.14.x)	19m 58s
	11h 40m 58s

Provide feedback