:: Re: [devuan-dev] ci.devuan.org need…
Page principale
Supprimer ce message
Répondre à ce message
Auteur: KatolaZ
Date:  
À: devuan-dev
Sujet: Re: [devuan-dev] ci.devuan.org needs a kick
On Tue, Nov 07, 2017 at 10:49:40AM +0100, Jaromil wrote:
> dear devs,
>
> On Tue, 07 Nov 2017, KatolaZ wrote:
>
> > just to note that ci.devuan.org is still down. We need it to proceed
> > with builging packages for ascii, and it seems that what is needed is
> > just to restart jenkins. Who has access to that machine? (not enough
> > of us, perhaps).
>
> I have killed an hanging jenkins (java) process and then started it.
> It works now.
>


Great. Thanks. We must try to understand what's wrong there (smells
like a usual java mem leak), and maybe think about upgrading
jenkins. But not now.

Let's keep building packages.

HND

KatolaZ

-- 
[ ~.,_  Enzo Nicosia aka KatolaZ - Devuan -- Freaknet Medialab  ]  
[     "+.  katolaz [at] freaknet.org --- katolaz [at] yahoo.it  ]
[       @)   http://kalos.mine.nu ---  Devuan GNU + Linux User  ]
[     @@)  http://maths.qmul.ac.uk/~vnicosia --  GPG: 0B5F062F  ] 
[ (@@@)  Twitter: @KatolaZ - skype: katolaz -- github: KatolaZ  ]