Re: make check bot paused

[Loic Dachary <loic@dachary.org>]

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

Hi,

It is back :-)

Cheers

On 15/04/2015 13:55, Loic Dachary wrote:
> Hi,
> 
> The make check bot [1] that executes run-make-check.sh [2] on pull requests and reports results as comments [3] is experiencing problems. It may be a hardware issue and the bot is paused while the issue is investigated [4] to avoid sending confusing false negatives. In the meantime the run-make-check.sh [2] script can be run locally, before sending the pull request, to confirm the commits to be sent do not break them. It is expected to run in less than 15 minutes including compilation on a fast machine with a SSD (or RAM disk) and 8 cores and 32GB of RAM and may take up to two hours on a machine with a spinner and two cores.
> 
> Thanks for your patience.
> 
> Cheers
> 
> [1] bot running on pull requests http://jenkins.ceph.dachary.org/job/ceph/
> [2] run-make-check.sh http://workbench.dachary.org/ceph/ceph/blob/master/run-make-check.sh
> [3] make check results example : https://github.com/ceph/ceph/pull/3946#issuecomment-93286840
> [4] possible RAM failure http://tracker.ceph.com/issues/11399
> 

-- 
Loïc Dachary, Artisan Logiciel Libre


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