March 5, 2013
10:11 a.m.
On Mar 5, 2013, at 11:09 AM, Pavel Krivanek <pavel.krivanek@gmail.com> wrote:
pharo-contribution slaves are all down
Yes, we have send a mail to the admins.
-- Pavel
On Tue, Mar 5, 2013 at 10:17 AM, Marcus Denker <marcus.denker@inria.fr> wrote:
On Mar 5, 2013, at 8:25 AM, Marcus Denker <marcus.denker@inria.fr> wrote:
Hi,
The jenkins infrastructure has some problems⦠due to that
is currently down.
We have contacted the admins.
Fixed.
Marcus