It looks that Magma-related failure is caused by changes in Magma; it could be a different Magma version will still be OK. I don't think it should stop #25351 from moving forward. Someone with Magma ought to open a ticket to fix this, if necessary.
On Wednesday, August 22, 2018 at 12:04:56 AM UTC+3, Brent W. Baccala wrote: > > Hi - > > I'd like some guidance on how to move some of my tickets forward, #25351, > for example. Once #25351 is closed, then we can move on to #25390, which > depends on #25351 and will give us multivariate polynomial factorization > over QQbar. > > Patchbot shows two test failures on #25351 involving magma. I don't think > this is due to my changes, but I don't have magma, so how can I be sure? > Is there a ticket somewhere that shows patchbot running with magma against > 8.4.beta1? If not, it seems like a reasonable feature to have - something > that shows any test failures against the current release tag. > > Other than that, the last comment on the ticket (by mmezzarobba) was > positive, but that was six weeks ago. I've updated the ticket's git branch > by merging in 8.4.beta1 and have resolved all of the patchbot failures > other than the magma issues. > > Are there any suggestions on what else can I do to encourage forward > movement on the ticket? > > Thanks. > > agape > brent > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.