Yes, once we get rid of the false errors, I will flip the switch to turn on nagging from DrDr.
Jay On Tue, Nov 10, 2009 at 11:58 AM, Robby Findler <ro...@eecs.northwestern.edu> wrote: > On Tue, Nov 10, 2009 at 12:15 PM, Ryan Culpepper <ry...@ccs.neu.edu> wrote: >> How about having an email automatically go out to plt-dev if the nightly >> build fails? Perhaps with a record of the svn commits that might have >> triggered the failure, if that's feasible. > > I believe DrDr will fill this role eventually. > > Robby > _________________________________________________ > For list-related administrative tasks: > http://list.cs.brown.edu/mailman/listinfo/plt-dev > -- Jay McCarthy <j...@cs.byu.edu> Assistant Professor / Brigham Young University http://teammccarthy.org/jay "The glory of God is Intelligence" - D&C 93 _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev