[plt-dev] Fwd: [DrDr] R17971 (timeout 1) (unclean 7) (stderr 17) (changes 71)

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Fri Feb 5 15:56:07 EST 2010

I don't see much consensus on who, how, or what to nag. So I've tried
to make the web interface more useful.

Directory displays in DrDr now show all the problem information with
links. Here's an example:


and another:


Notice that it doesn't display when there are no problems:


On Fri, Feb 5, 2010 at 10:59 AM, Robby Findler
<robby at eecs.northwestern.edu> wrote:
> FWIW, I'm -1 on this one. Posting to the front of drdr.plt-scheme.org
> now seems better to me.
> Robby
> On Fri, Feb 5, 2010 at 11:55 AM, Jon Rafkind <rafkind at cs.utah.edu> wrote:
>>> How about a daily summary of the number of times each file failed (and
>>> the number of builds that happened)?
>> +1

Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University

"The glory of God is Intelligence" - D&C 93

Posted on the dev mailing list.