unlocked #1894

Job	Run time
lower-bounds (docker)	0s
opam-install (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)	16m 52s
lower-bounds (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	19m 42s
opam-install (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	52m 29s
lower-bounds (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	51m 13s
regression (ubuntu-latest, 5.2.x)	9m 58s
regression (ubuntu-latest, 5.2.x, apron)	12m 30s
regression (ubuntu-latest, 5.1.x)	10m 2s
regression (ubuntu-latest, 5.1.x, apron)	12m 36s
regression (ubuntu-latest, 5.0.x)	10m 8s
regression (ubuntu-latest, 5.0.x, apron)	13m 28s
regression (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)	10m 37s
regression (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	13m 9s
regression (ubuntu-latest, 4.14.x)	10m 10s
regression (ubuntu-latest, 4.14.x, apron)	12m 57s
regression (macos-13, 5.2.x)	33m 46s
regression (macos-13, 5.2.x, apron)	43m 23s
regression (macos-13, 5.1.x)	35m 37s
regression (macos-13, 5.1.x, apron)	37m 7s
regression (macos-13, 5.0.x)	41m 0s
regression (macos-13, 5.0.x, apron)	49m 12s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	38m 35s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	38m 54s
regression (macos-13, 4.14.x)	39m 45s
regression (macos-13, 4.14.x, apron)	40m 0s
regression (ubuntu-latest, 4.14.x, z3)	22m 34s
regression (macos-latest, 4.14.x)	15m 15s
	11h 30m 59s

Provide feedback