unlocked #2123

Job	Run time
lower-bounds (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	23m 4s
lower-bounds (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	50m 6s
opam-install (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	1h 6m 47s
opam-install (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)	17m 1s
lower-bounds (docker)	0s
regression (ubuntu-22.04, 5.0.x)	10m 9s
regression (ubuntu-22.04, 5.2.x, apron)	13m 23s
regression (ubuntu-22.04, 5.0.x, apron)	12m 27s
regression (ubuntu-22.04, 5.1.x, apron)	12m 51s
regression (ubuntu-22.04, 5.1.x)	10m 37s
regression (ubuntu-22.04, 5.2.x)	10m 33s
regression (macos-13, 5.2.x)	45m 6s
regression (macos-13, 4.14.x)	34m 57s
regression (macos-13, 5.1.x, apron)	42m 47s
regression (ubuntu-22.04, 4.14.x)	10m 19s
regression (macos-13, 5.1.x)	39m 4s
regression (macos-13, 5.0.x, apron)	37m 46s
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)	10m 52s
regression (macos-13, 5.2.x, apron)	47m 18s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	42m 39s
regression (macos-latest, 4.14.x)	15m 39s
regression (ubuntu-22.04, 4.14.x, apron)	12m 51s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	35m 49s
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	13m 24s
regression (ubuntu-22.04, 4.14.x, z3)	26m 0s
regression (macos-13, 5.0.x)	32m 18s
regression (macos-13, 4.14.x, apron)	50m 31s
	12h 4m 18s

Provide feedback