<div dir="ltr">Hi,<div><br></div><div>The jenkins server will require some urgent and unplanned maintenance. So the server will be offline for some time (needs to be reinstalled), hopefully not too long. More info will follow, especially if the downtime turns out to be unusually long.</div><div><br></div><div>Note: gerrit changes verification will not be done as long as jenkins is down, so for changes that get uploaded during the downtime, manual (re)triggering will be needed.</div><div><br></div><div>Cheers,</div><div><div><div><div class="gmail_signature" data-smartmail="gmail_signature">--<br>Szilárd</div></div>
</div>
</div></div>