492aae8c

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

Fix what the review found

The comment on the mutation runner still said a timeout was counted as a
kill, which this branch had just stopped being true.

'Validity RunSoundness' was an instance nothing used, on a type with no
fields for it to say anything about.

Total

44m14s

Created Started Finished

Time to Start Worker time Duration Time to finish Idle
Config 10m43s 0s 0s 10m44s 10m43s
Eval 10m45s 16s 16s 11m02s 1s
Build 11m02s 2m26s 43m56s 54m58s 41m29s
Suite 10m43s 2m43s 44m14s 54m58s 52m14s

Timeline

Config Eval Build Compressed gap
0s11m52m40s53m53m20s53m40s54m54m20s54m40s