btw, another improvement would be precise time information, i.e. incl. the time zone. Also they should be consistent. It seems to me like http://d.puremagic.com/test-results/pulls.ghtml uses a different time than a single result like http://d.puremagic.com/test-results/pull.ghtml?runid=47221