Volume group "jenkins01" has insufficient free space (1503 extents): 2560 required.
See https://jenkins.debian.net/job/g-i-installation_debian_ and https://jenkins.debian.net/sid_daily_hurd_lxde/379/ job/g-i-installation_debian_ and https://jenkins.debian.net/sid_daily_hurd_lxde/379// console job/g-i-installation_debian_ if there are any.sid_daily_hurd_lxde/379// artifact/results/