[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#35178: Agda doesn't build

From: Pronaip
Subject: bug#35178: Agda doesn't build
Date: Tue, 09 Apr 2019 02:59:32 +0000

‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐
On Sunday, April 7, 2019 6:28 PM, Ludovic Courtès <address@hidden> 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?

reply via email to

[Prev in Thread] Current Thread [Next in Thread]