Ping, PingAll, Run Tested
Merge branch 'violet' of https://github.com/dothub/dot into violet