Pronaip skribis: > ‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐ > On Sunday, April 7, 2019 6:28 PM, Ludovic Courtès 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? ‘--rounds’ will try several times only as long as building succeeds. So in this case, you can simply run “guix build agda” several times. Let us know how it goes. Thanks, Ludo’.