There are currently connection issues between our CI systems and Github, which most likely is a performance issue on the side of Github. Build times can be impacted by this.
