jenkins jobs should print a hostname
It's very convoluted to get the machine information from Jenkins, especially for multimachine job. For example, the #207 (closed) has links to build failures. But there is no easy way to extract the hostname. @ckb did extract the information (thanks again!), but the process was complex.
The hostname should be logged clearly somewhere in the log files.