-
intrigeri authored
On jenkins.lizard, the name of a node is its hostname. While on jenkins.sib, the name of a node is its FQDN (which is needed because its Jenkins slaves are on multiple machines).
f503a529
On jenkins.lizard, the name of a node is its hostname. While on jenkins.sib, the name of a node is its FQDN (which is needed because its Jenkins slaves are on multiple machines).