unlocked #1974

Job	Run time
lower-bounds (docker)	0s
opam-install (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)	16m 41s
lower-bounds (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	19m 49s
opam-install (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	57m 21s
regression (ubuntu-22.04, 5.2.x)	9m 52s
lower-bounds (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	53m 32s
regression (ubuntu-22.04, 5.2.x, apron)	13m 11s
regression (ubuntu-22.04, 5.1.x)	10m 18s
regression (ubuntu-22.04, 5.1.x, apron)	12m 56s
regression (ubuntu-22.04, 5.0.x)	9m 41s
regression (ubuntu-22.04, 5.0.x, apron)	12m 48s
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)	10m 27s
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	13m 19s
regression (ubuntu-22.04, 4.14.x)	9m 49s
regression (ubuntu-22.04, 4.14.x, apron)	12m 45s
regression (macos-13, 5.2.x)	34m 0s
regression (macos-13, 5.2.x, apron)	54m 17s
regression (macos-13, 5.1.x)	35m 29s
regression (macos-13, 5.1.x, apron)	40m 32s
regression (macos-13, 5.0.x)	46m 42s
regression (macos-13, 5.0.x, apron)	44m 23s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	18m 17s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	45m 55s
regression (macos-13, 4.14.x)	42m 2s
regression (macos-13, 4.14.x, apron)	51m 46s
regression (ubuntu-22.04, 4.14.x, z3)	28m 46s
regression (macos-latest, 4.14.x)	18m 32s
	12h 3m 10s

Provide feedback