774d1d82 

Add a Project Manager badge to repo READMEs (#17)
Time to Start Worker time Duration Time to finish
Config 50s 0s 0s 51s
Eval 51s 29s 29s 1m21s
Build 15m04s 3m21s 3m24s 18m29s
Suite 50s 3m52s 17m38s 18m29s