Looking at how sage4 runs now, it looks like it is getting an outdated
ticket list somehow. First of all, it doesn't see any ticket numbers
above #21184.
And it thinks that #12866 has positive_review, while in reality it is
closed:
[2016-08-19 10:16:06] #12866: start rating
rating 0 after authors
rating 0 after participants
rating 0 after components
rating 510 after status (positive_review)/priority (major)/id (12866)
start report scanning
rating 1034 after behind
rating 1054 after applies
rating 1014 after uniqueness
rating 1538 after behind
rating 1558 after applies
rating 1518 after uniqueness
rating 2042 after behind
rating 2062 after applies
rating 2022 after uniqueness
rating 2022 after report scanning
That would explain the testing of closed tickets.
--
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.
