Skip to content

Failed build_Tails_ISO_* jobs are seen as succeeded by Jenkins

I think this is a side-effect of my fix for #17862.