On Tue, 7 Apr 2020 at 16:22, Ralf Treinen <trei...@irif.fr> wrote: > Thanks, but it will fail on all the other release architectures. Building > coq on slow architectures takes > 5h, so that seemed like a waste of > resources to me.
binNMUs don't get scheduled on architectures that are Build-Attempted or Failed, so no resources wasted. :)
