Hi
Regarding (the) buildbot(s), for the ticket #16936 it says "Failure"
even though it builds fine for me and the doctests work fine.
shell_13 doctested failed:
----------------------------------------------------------------------
sage -t src/sage/crypto/mq/sr.py # 5 doctests failed
sage -t src/sage/modular/modform/numerical.py # 2 doctests failed
sage -t src/sage/rings/polynomial/multi_polynomial_sequence.py # 9
doctests failed
sage -t src/sage/rings/polynomial/pbori.pyx # Killed due to
segmentation fault
sage -t src/sage/rings/polynomial/polynomial_element.pyx # 2 doctests
failed
sage -t src/sage/rings/real_double.pyx # 2 doctests failed
----------------------------------------------------------------------
Those are all unrelated to my ticket. It seems some bots do doctests
and some don't. In any case how do I fix my "Failure" status?
Best
Jonas
On 03.10.2014 17:12, Nils Bruin wrote:
Dear buildboteers,
The new buildbot interface is wonderful. However, on #17065 we ran into
an issue that "needs work" tickets do not display the buildbot link.
That's inconvenient in the following scenario:
1. Author gets a ticket to a reasonable state and sets ticket to
"needs review"
2. Buildbot finds errors, so Reviewer sets ticket back to "needs work"
3. Buildbot log is now not easily accessible from ticket anymore, so
Author cannot see the failures any more.
The workaround is simple: don't set tickets back to "needs work", but I
think the "needs review"/"needs work" status distinction is useful (it
signals to Author that Reviewer has looked at it, for one thing). Would
it be possible to somehow fix this?
Also, the cute coloured blob thing in the upper right that used to
indicate build status seems to not work any more. If it doesn't get
fixed it might be better to remove
--
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 [email protected]
<mailto:[email protected]>.
To post to this group, send email to [email protected]
<mailto:[email protected]>.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
--
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
