Re: [Nix-dev] Hydra seems to be down

2015-08-03 Thread Vladimír Čunát
On 08/02/2015 04:22 PM, Rob Vermaas wrote: Will let you know when we get it back up. ATM it seems running fine. Sometimes Hydra just takes a weekend off... Vladimir smime.p7s Description: S/MIME Cryptographic Signature ___ nix-dev mailing list

Re: [Nix-dev] Hydra seems to be down

2015-08-03 Thread Eelco Dolstra
Hi, On 02/08/15 16:22, Rob Vermaas wrote: indeed, the frontend and database machine went offline, however we only have access to the machine on Monday. Will let you know when we get it back up. Hydra is back up. However, due to a recent Hydra bug, the Nix store on hydra.nixos.org contains a

Re: [Nix-dev] Hydra seems to be down

2015-08-02 Thread Rob Vermaas
Hi, indeed, the frontend and database machine went offline, however we only have access to the machine on Monday. Will let you know when we get it back up. Cheers, Rob On Sat, Aug 1, 2015 at 3:08 PM, Christian Theune c...@flyingcircus.io wrote: Hi, On 01 Aug 2015, at 12:59, Profpatsch

Re: [Nix-dev] Hydra seems to be down

2015-08-01 Thread Arseniy Seroka
I can confirm this issue. -- Sincerely, Arseniy Seroka On 1 August 2015 13:59:23 Profpatsch m...@profpatsch.de wrote: I’m not sure if this is the best place, but: hydra.nixos.org is not responding to requests. http://isitup.org/hydra.nixos.org This service confirms that it’s not just my

[Nix-dev] Hydra seems to be down

2015-08-01 Thread Profpatsch
I’m not sure if this is the best place, but: hydra.nixos.org is not responding to requests. http://isitup.org/hydra.nixos.org This service confirms that it’s not just my local network. It works very seldomly, sometimes after 15 minutes, so it looks more like an overload problem. -- Proudly

Re: [Nix-dev] Hydra seems to be down

2015-08-01 Thread Christian Theune
Hi, On 01 Aug 2015, at 12:59, Profpatsch m...@profpatsch.de wrote: I’m not sure if this is the best place, but: hydra.nixos.org is not responding to requests. http://isitup.org/hydra.nixos.org This service confirms that it’s not just my local network. It works very seldomly, sometimes