Updated my comment on the timeout. It's not that big of a deal how it's implemented, just as long as we have at least a timeout on the jenkins job as a last resort.
« Back to merge proposal
Updated my comment on the timeout. It's not that big of a deal how it's implemented, just as long as we have at least a timeout on the jenkins job as a last resort.