tree 37ea07edab30437dab35f5a13d8439f8250a377a
parent bf90196b523162df9833b00379af3b38643175af
author Luca Milanesio <luca.milanesio@gmail.com> 1633371708 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1633423730 +0000

Adopt modern Jenkins terminology for build agents

The Jenkins terminology has been updated over a year
ago (see [1]) and it is time to align all our images
and builds to the new and more respectful term of agent
to refer to build workers.

[1] https://www.jenkins.io/blog/2020/06/18/terminology-update/

Change-Id: I8e9246f6d06d2a93d5ab612843fc41b41e47ccf3