Volume group "jenkins01" has insufficient free space (1503 extents): 2560 required.
On 3 July 2017 at 20:43, <jenk...@jenkins.debian.net> wrote: > See https://jenkins.debian.net/job/g-i-installation_debian_ > sid_daily_hurd_lxde/379/ and https://jenkins.debian.net/ > job/g-i-installation_debian_sid_daily_hurd_lxde/379//console and > https://jenkins.debian.net/job/g-i-installation_debian_ > sid_daily_hurd_lxde/379//artifact/results/ if there are any. -- William Leslie Notice: Likely much of this email is, by the nature of copyright, covered under copyright law. You absolutely MAY reproduce any part of it in accordance with the copyright law of the nation you are reading this in. Any attempt to DENY YOU THOSE RIGHTS would be illegal without prior contractual agreement.
