On Mon, Feb 06, 2023 at 02:53:01PM +0100, Erik Skultety wrote:
> build.sh is not the place where this should be mentioned as the
> official entrypoint for this script locally is ci/helper which can
> download the right image from our upstream CI registry. Since the idea
> is to ultimately drop the
build.sh is not the place where this should be mentioned as the
official entrypoint for this script locally is ci/helper which can
download the right image from our upstream CI registry. Since the idea
is to ultimately drop the usage of a Makefile for the local executions,
this patch doesn't