Hi Jeremiah, > The ISOs that get built today are around 1.5 gigs which makes me wonder > if they're too large to put in Debian's Jenkins machine lest they fill > up disk. Can you clarify which Debian's Jenkins machine you are referring to here? :) Best wishes, -- Chris Lamb https://puri.sm