buildx failed with: ERROR: failed to solve: process "/bin/sh -c source /root/.profile && elan default \"$(cat lean-toolchain)\" && source ../cedar-drt/set_env_vars.sh && lake clean && source ../cedar-drt/set_env_vars.sh && ../cedar-drt/build_lean_lib.sh" did not complete successfully: exit code: 1