unlocked #1947

Job	Run time
lower-bounds (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	7m 4s
opam-install (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)	16m 42s
lower-bounds (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	16m 4s
lower-bounds (docker)	0s
opam-install (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	51m 20s
regression (ubuntu-22.04, 5.2.x)	10m 5s
regression (ubuntu-22.04, 5.2.x, apron)	12m 29s
regression (ubuntu-22.04, 5.1.x)	10m 5s
regression (ubuntu-22.04, 5.1.x, apron)	12m 50s
regression (ubuntu-22.04, 5.0.x)	9m 58s
regression (ubuntu-22.04, 5.0.x, apron)	12m 47s
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)	10m 48s
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	13m 17s
regression (ubuntu-22.04, 4.14.x)	10m 6s
regression (ubuntu-22.04, 4.14.x, apron)	12m 35s
regression (macos-13, 5.2.x)	35m 0s
regression (macos-13, 5.2.x, apron)	48m 26s
regression (macos-13, 5.1.x)	36m 55s
regression (macos-13, 5.1.x, apron)	45m 34s
regression (macos-13, 5.0.x)	36m 45s
regression (macos-13, 5.0.x, apron)	39m 52s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	33m 26s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	41m 56s
regression (macos-13, 4.14.x)	35m 27s
regression (macos-13, 4.14.x, apron)	43m 59s
regression (ubuntu-22.04, 4.14.x, z3)	23m 21s
regression (macos-latest, 4.14.x)	19m 2s
	10h 45m 53s

Provide feedback