unlocked #807

Job	Run time
lower-bounds (docker)	0s
opam-install (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)	17m 17s
lower-bounds (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	23m 10s
opam-install (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	50m 36s
regression (ubuntu-22.04, 5.2.x)	10m 7s
lower-bounds (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)	1h 0m 18s
regression (ubuntu-22.04, 5.2.x, apron)	12m 19s
regression (ubuntu-22.04, 5.1.x)	9m 48s
regression (ubuntu-22.04, 5.1.x, apron)	12m 22s
regression (ubuntu-22.04, 5.0.x)	10m 29s
regression (ubuntu-22.04, 5.0.x, apron)	12m 33s
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)	10m 50s
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	12m 53s
regression (ubuntu-22.04, 4.14.x)	9m 46s
regression (ubuntu-22.04, 4.14.x, apron)	12m 48s
regression (macos-13, 5.2.x)	34m 11s
regression (macos-13, 5.2.x, apron)	40m 4s
regression (macos-13, 5.1.x)	31m 21s
regression (macos-13, 5.1.x, apron)	40m 31s
regression (macos-13, 5.0.x)	38m 45s
regression (macos-13, 5.0.x, apron)	37m 20s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)	36m 19s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)	40m 25s
regression (macos-13, 4.14.x)	33m 47s
regression (macos-13, 4.14.x, apron)	39m 27s
regression (ubuntu-22.04, 4.14.x, z3)	26m 15s
regression (macos-latest, 4.14.x)	18m 19s
	11h 22m 0s

Provide feedback