unlocked #2122

Job	Run time
lower-bounds (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	52m 39s
lower-bounds (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	23m 8s
opam-install (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	52m 0s
opam-install (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)	16m 42s
regression (ubuntu-22.04, 5.0.x, apron)	12m 30s
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 30s
regression (ubuntu-22.04, 5.0.x)	10m 0s
regression (ubuntu-22.04, 5.2.x, apron)	12m 42s
regression (ubuntu-22.04, 4.14.x)	10m 13s
regression (ubuntu-22.04, 5.1.x)	10m 15s
regression (ubuntu-22.04, 5.2.x)	10m 30s
regression (ubuntu-22.04, 4.14.x, apron)	12m 41s
regression (macos-13, 5.2.x)	34m 38s
regression (ubuntu-22.04, 5.1.x, apron)	12m 49s
regression (macos-13, 5.1.x)	34m 43s
regression (macos-13, 5.1.x, apron)	50m 59s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	41m 13s
regression (macos-latest, 4.14.x)	16m 35s
regression (macos-13, 5.0.x, apron)	46m 5s
regression (macos-13, 4.14.x, apron)	45m 46s
regression (macos-13, 4.14.x)	40m 39s
regression (macos-13, 5.2.x, apron)	43m 20s
regression (ubuntu-22.04, 4.14.x, z3)	25m 20s
regression (macos-13, 5.0.x)	35m 36s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	42m 46s
lower-bounds (docker)	0s
	11h 58m 3s

Provide feedback