Hi, For some reason jenkins thought it was necessary to reconsider all commits merged weeks ago. It was silenced to not send test results about pull request already merged. It should now resume work on the current pull requests. If a pull request needs to be visited by the make check bot, it is enough to rebase and repush it.
Cheers On 09/11/2015 15:33, Loic Dachary wrote: > Hi, > > The machine sending notifications for the make check bot failed during the > week-end. It was rebooted and it should resume its work. > > The virtual machine was actually re-built because the underlying OpenStack > cloud was unable to find the volume used for root after a hard reboot. There > were also issues with the devicemapper docker backend that was corrupted. > Wiping them out was enough to resolve the problem: they did not have any > persistent data anyway. > > Cheers > -- Loïc Dachary, Artisan Logiciel Libre
signature.asc
Description: OpenPGP digital signature
