buildx failed with: ERROR: failed to build: failed to solve: process "/bin/sh -c set -e\n wget --progress=dot:giga $Z3_RELEASE_URL -O z3.zip\n echo \"$Z3_SHA *z3.zip\" | sha1sum --check --strict -\n unzip z3.zip -d /opt/z3\n mv /opt/z3/z3-*/* /opt/z3/\n rm -r /opt/z3/z3-*\n" did not complete successfully: exit code: 8