unlocked #1996

Job	Run time
opam-install (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)	18m 21s
opam-install (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	55m 40s
lower-bounds (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	20m 9s
lower-bounds (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	53m 23s
regression (ubuntu-22.04, 5.2.x)	9m 44s
lower-bounds (docker)	0s
regression (ubuntu-22.04, 5.2.x, apron)	13m 0s
regression (ubuntu-22.04, 5.1.x)	9m 57s
regression (ubuntu-22.04, 5.1.x, apron)	12m 53s
regression (ubuntu-22.04, 5.0.x)	10m 0s
regression (ubuntu-22.04, 5.0.x, apron)	13m 6s
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)	10m 32s
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	13m 38s
regression (ubuntu-22.04, 4.14.x)	10m 8s
regression (ubuntu-22.04, 4.14.x, apron)	12m 36s
regression (macos-13, 5.2.x)	31m 54s
regression (macos-13, 5.2.x, apron)	48m 23s
regression (macos-13, 5.1.x)	36m 0s
regression (macos-13, 5.1.x, apron)	47m 52s
regression (macos-13, 5.0.x)	41m 57s
regression (macos-13, 5.0.x, apron)	43m 25s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	40m 43s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	43m 19s
regression (macos-13, 4.14.x)	36m 9s
regression (macos-13, 4.14.x, apron)	40m 10s
regression (ubuntu-22.04, 4.14.x, z3)	26m 21s
regression (macos-latest, 4.14.x)	16m 36s
	11h 55m 56s

Provide feedback