buildx failed with: ERROR: failed to solve: process "/bin/sh -c apt-get update && apt-get install -y software-properties-common && add-apt-repository $REPO && apt-get update && apt-get install -y git libboost-dev libboost-python-dev libcgal-dev libdeal.ii-dev=$VERSION libflint-dev libgmp-dev libgtest-dev libmpc-dev llvm locales ninja-build numdiff python-is-python3 python3-dev python3-distutils python3-matplotlib python3-pybind11 python3-scipy ssh sudo wget && apt-get remove -y libdeal.ii-dev=$VERSION libcgal-dev && apt-get clean && rm -rf /var/lib/apt/lists/* && localedef -i en_US -c -f UTF-8 -A /usr/share/locale/locale.alias en_US.UTF-8" did not complete successfully: exit code: 100

The run was canceled by @gassmoeller.