Space stuck in "Building" despite gradio welcome port

Thank you, similar solution suggested here helped: Build docker space error "failed to unmount target /tmp/containerd-mountxxxxxx" - #5 by chris-rannou