buildx failed with: error: failed to solve: rpc error: code = Unknown desc = process "/bin/bash -o pipefail -c bash -c \"source firedrake/bin/activate; firedrake-update --documentation-dependencies --jax --netgen --slepc --torch --install asQ --install defcon --install fascd --install femlium --install gadopt --install gusto --install icepack --install irksome --install thetis\"" did not complete successfully: exit code: 15