Jenkins: Use 'docker' label for dockerised builds (#2418)

2 files changed