There's no way to reproduce it from here. These build failures come in clusters; repeating the exact same build seems to eventually succeed. My working hypothesis is that there's a resource exhaustion problem, which is resolved when the server gets spun down and replaced.
-- You received this message because you are subscribed to the Google Groups "CodenameOne Discussions" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. Visit this group at https://groups.google.com/group/codenameone-discussions. To view this discussion on the web visit https://groups.google.com/d/msgid/codenameone-discussions/a74d7072-6578-433e-9e61-ed7a1ea038f3%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
