[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gnu: Add mono.
|
From: |
Leo Famulari |
|
Subject: |
Re: [PATCH] gnu: Add mono. |
|
Date: |
Fri, 29 Jul 2016 19:40:06 -0400 |
|
User-agent: |
Mutt/1.6.0 (2016-04-01) |
On Sat, Jul 30, 2016 at 01:26:38AM +0200, Danny Milosavljevic wrote:
> I tried again with --keep-failed, now it succeeded O_o .
>
> 8 GB RAM GuixSD (git) on X200.
Huh, I guess we can expect some non-deterministic failures. I will do
--rounds=10 overnight and see if I get something useful.
- [PATCH] gnu: Add mono., Jan Nieuwenhuizen, 2016/07/15
- Re: [PATCH] gnu: Add mono., Jan Nieuwenhuizen, 2016/07/15
- Re: [PATCH] gnu: Add mono., Jan Nieuwenhuizen, 2016/07/15
- Re: [PATCH] gnu: Add mono., Leo Famulari, 2016/07/22
- Re: [PATCH] gnu: Add mono., Jan Nieuwenhuizen, 2016/07/27
- Re: [PATCH] gnu: Add mono., Danny Milosavljevic, 2016/07/29
- Re: [PATCH] gnu: Add mono., Leo Famulari, 2016/07/29
- Re: [PATCH] gnu: Add mono., Danny Milosavljevic, 2016/07/29
- Re: [PATCH] gnu: Add mono.,
Leo Famulari <=
- Re: [PATCH] gnu: Add mono., Leo Famulari, 2016/07/30