The Jenkins ARM builds cause quite some delays in PR building as they are slower than an amd64/i386 build and Jenkins can only start the next build when the previous one finished on all architectures. What's your opinion on switching off the ARM builds for pull requests for now until more workers can be brought online to better handle PR spikes? -- Alex
_______________________________________________ Mono-devel-list mailing list Mono-devel-list@lists.ximian.com http://lists.ximian.com/mailman/listinfo/mono-devel-list