unlocked #2127

Job	Run time
lower-bounds (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	1h 4m 49s
lower-bounds (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	23m 8s
opam-install (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)	17m 0s
opam-install (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	53m 36s
regression (ubuntu-22.04, 5.0.x)	10m 4s
regression (ubuntu-22.04, 4.14.x)	10m 42s
regression (ubuntu-22.04, 5.2.x)	10m 10s
regression (ubuntu-22.04, 5.0.x, apron)	12m 47s
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	13m 19s
regression (ubuntu-22.04, 4.14.x, apron)	12m 52s
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)	11m 15s
regression (ubuntu-22.04, 5.1.x)	11m 8s
regression (ubuntu-22.04, 5.2.x, apron)	13m 20s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	43m 15s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	43m 28s
regression (macos-13, 5.2.x)	41m 52s
regression (macos-13, 5.0.x)	45m 51s
regression (macos-13, 4.14.x)	34m 24s
regression (ubuntu-22.04, 5.1.x, apron)	12m 44s
regression (macos-13, 5.1.x)	33m 43s
regression (macos-13, 5.2.x, apron)	40m 12s
regression (ubuntu-22.04, 4.14.x, z3)	25m 38s
regression (macos-13, 5.1.x, apron)	54m 48s
regression (macos-13, 5.0.x, apron)	48m 47s
regression (macos-latest, 4.14.x)	18m 57s
regression (macos-13, 4.14.x, apron)	48m 11s
lower-bounds (docker)	0s
	12h 36m 0s

Provide feedback