:: Re: [devuan-dev] ci.devuan.org need…
Top Page
Delete this message
Reply to this message
Author: Jaromil
Date:  
To: devuan developers internal list
Subject: Re: [devuan-dev] ci.devuan.org needs a kick
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.


ciao


-- 
~.,_   Denis Roio aka Jaromil    http://Dyne.org think &do tank
    "+.   CTO and co-founder      free/open source developers
      @)   ⚷ crypto κρυπτο крипто गुप्त् 加密 האנוסים المشفره
    @@)  GnuPG: 6113D89C A825C5CE DD02C872 73B35DA5 4ACB7D10
(@@@)  opmsg:73a8e097a038d82b 8afb4c05804bda0d 281b3880fbc19b88