Re: make check bot resumed

[Loic Dachary <loic@dachary.org>]

[-- Attachment #1: Type: text/plain, Size: 929 bytes --]

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


[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 198 bytes --]