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,