1716ecf3

By: Tom Sydney Kerckhove <syd@cs-syd.eu>

Remove the bug progress file
GitHub
Time to Start Worker time Duration Time to finish Idle
Config 1s 1s 1s 2s 1s
Eval 2s 2m21s 2m21s 2m23s 0s
Build 2m23s 0s - - 0s
Suite 1s 2m22s - - 25m16s