Subject: Re: bug#35178: Agda doesn't build

From: Pronaip <[email-masked]>
Date: Tue, 09 Apr 2019 02:59:32 +0000

‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐
On Sunday, April 7, 2019 6:28 PM, Ludovic Courtès <[email-masked]> wrote:
> Could check whether it systematically fails to build?
>
> Thank you,
> Ludo’.

I've tried it a few times, it always gives the same result. The --rounds thing stops after the first failed build, so maybe I'm doing something wrong?