Pronaip <pron...@protonmail.com> skribis: > ‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐ > On Sunday, April 7, 2019 6:28 PM, Ludovic Courtès <l...@gnu.org> 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’.
