FYI, this CI job (and others) failed because the LyX server was slow (JMarc
has fixed it by rebooting the server). This can be seen from the full log
of the CI job:
Cloning repository git://git.lyx.org/lyx.git
> git init
> /builds/workspace/build-master-head/ubuntu-xenial-qt4-autotools-exten
https://ci.inria.fr/lyx/job/build-master-head/job/ubuntu-xenial-qt4-autotools-extended/276/--
[...truncated 143 lines...]
remote: Compressing objects: 45% (10337/22585)
remote: Compressing objects: 46% (10390/22585)
remote: Compressing