Re: [Tf-openci-triage] Trustedfirmware.org Getting Slow