Hi, The make check bot had troubles today because a yum repository temporarily had missing files. While trying to figure that out the CentOS 7 docker image was updated and fails to create the container to run the tests. It is fixed but it will take a day or two before CentOS 7 is back. In the meantime the bot runs Ubuntu 14.04 only.
If the bot failed to visit a pull request, you can trigger it again with a git commit --amend + git push --force. Cheers -- Loïc Dachary, Artisan Logiciel Libre
signature.asc
Description: OpenPGP digital signature
