jenkins fails to checkout because of "No space left on device"

eg. https://jenkins.softwareheritage.org/blue/organizations/jenkins/DGRPH%2Fgitlab-builds/detail/gitlab-builds/298/pipeline