unlocked #790

Job	Run time
lower-bounds (docker)	0s
opam-install (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)	16m 33s
lower-bounds (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	22m 42s
regression (ubuntu-22.04, 5.2.x)	10m 6s
opam-install (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	58m 55s
lower-bounds (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	1h 2m 42s
regression (ubuntu-22.04, 5.2.x, apron)	12m 35s
regression (ubuntu-22.04, 5.1.x)	10m 2s
regression (ubuntu-22.04, 5.1.x, apron)	13m 14s
regression (ubuntu-22.04, 5.0.x)	10m 23s
regression (ubuntu-22.04, 5.0.x, apron)	12m 27s
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)	10m 42s
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	12m 55s
regression (ubuntu-22.04, 4.14.x)	9m 59s
regression (ubuntu-22.04, 4.14.x, apron)	12m 28s
regression (macos-13, 5.2.x)	35m 40s
regression (macos-13, 5.2.x, apron)	40m 55s
regression (macos-13, 5.1.x)	32m 30s
regression (macos-13, 5.1.x, apron)	37m 25s
regression (macos-13, 5.0.x)	39m 54s
regression (macos-13, 5.0.x, apron)	45m 23s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	43m 37s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	43m 21s
regression (macos-13, 4.14.x)	36m 19s
regression (macos-13, 4.14.x, apron)	40m 59s
regression (ubuntu-22.04, 4.14.x, z3)	25m 30s
regression (macos-latest, 4.14.x)	56s
	11h 38m 12s

Provide feedback