unlocked #1975

Job	Run time
lower-bounds (docker)	0s
lower-bounds (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	20m 28s
opam-install (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)	17m 5s
lower-bounds (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	1h 3m 8s
opam-install (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	52m 42s
regression (ubuntu-22.04, 5.2.x)	9m 58s
regression (ubuntu-22.04, 5.2.x, apron)	13m 15s
regression (ubuntu-22.04, 5.1.x)	9m 47s
regression (ubuntu-22.04, 5.1.x, apron)	13m 8s
regression (ubuntu-22.04, 5.0.x)	10m 7s
regression (ubuntu-22.04, 5.0.x, apron)	12m 37s
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)	10m 17s
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	13m 30s
regression (ubuntu-22.04, 4.14.x)	10m 5s
regression (ubuntu-22.04, 4.14.x, apron)	12m 48s
regression (macos-13, 5.2.x)	38m 40s
regression (macos-13, 5.2.x, apron)	42m 56s
regression (macos-13, 5.1.x)	37m 24s
regression (macos-13, 5.1.x, apron)	52m 38s
regression (macos-13, 5.0.x)	34m 6s
regression (macos-13, 5.0.x, apron)	47m 8s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	40m 46s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	48m 6s
regression (macos-13, 4.14.x)	36m 30s
regression (macos-13, 4.14.x, apron)	41m 2s
regression (ubuntu-22.04, 4.14.x, z3)	26m 37s
regression (macos-latest, 4.14.x)	16m 6s
	12h 10m 54s

Provide feedback