Open CI infrastructure has been down since this morning and currently still not working. Will post updates to the mailing list once they are available.

Thanks,

Antonio