d8d40bb1

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

Say which command to run when the router is not the one the checks read

The message told the reader to download again without saying how, which is
the same gap the bash version had. deployFor passes through the download
that writes the three files back where the checks read them, and the
message names it.

download --into DIR is what that wrapper uses, so the three filenames stay
decided in exactly one place.

Total

5m33s

Created Started Finished

Time to Start Worker time Duration Time to finish Idle
Config 0s 1s 1s 1s 0s
Eval 0s 7s 7s 8s 0s
Build 7s 5m26s 5m26s 5m33s 0s
Suite 0s 5m35s 5m33s 5m33s 0s

Timeline

Config Eval Build
0s1m2m3m4m5m