buildx failed with: ERROR: failed to build: failed to solve: process "/bin/bash -euxo pipefail -c curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --no-modify-path --default-toolchain leanprover/lean4:${LEAN_VERSION}; chmod -R a+w $ELAN_HOME; elan --version; lean --version; leanc --version; lake --version; apt update -y; apt install -y git lsb-release gcc redis python3 python3-pip; git clone --depth 1 --branch ${LEAN_VERSION} https://github.com/offendo/repl.git; git clone --depth 1 --branch ${BLV_VERSION} https://github.com/offendo/blv.git; (cd repl && lake update && lake build && lake exe cache get); (cd blv && pip install --break-system-packages -r requirements.lock);" did not complete successfully: exit code: 1

The strategy configuration was canceled because "build-and-push.v4_20_0" failed

The operation was canceled.

The strategy configuration was canceled because "build-and-push.v4_20_0" failed