:: Re: [devuan-dev] ci.devuan.org need…
Top Page
Delete this message
Reply to this message
Author: Evilham
Date:  
To: devuan-dev
Subject: Re: [devuan-dev] ci.devuan.org needs a kick
Am 07/11/2017 um 10:49 schrieb Jaromil:
> 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.
>
> To avoid these latencies in the future and according to our roster of
> caretakers, I will distribute access to more of us.


As soon as I get access to that, I'd setup things so jenkins "gets a
kick" automatically whenever this happens, which is pretty much
periodically every 40 days or so :-).

You have my Devuan SSH key already.
--
Evilham