<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 12pt;
font-family:Calibri
}
--></style></head>
<body class='hmmessage'><div dir='ltr'><font color="#000000" face="Calibri,sans-serif">The Jenkins ARM builds cause quite some delays in PR building as they are slower than an amd64/i386 build and Jenkins can only start the next build when the previous one finished on all architectures.</font><BR> <BR>What's your opinion on switching off the ARM builds for pull requests for now until more workers can be brought online to better handle PR spikes?<BR> <BR>-- Alex<BR><font color="#000000" face="Calibri,sans-serif"><br id="FontBreak"></font> <BR>                                      </div></body>
</html>