From 5dc51d58f4b6fcb58dde8f4c0064d1b85030ffc5 Mon Sep 17 00:00:00 2001
From: lemoer <git@irrelefant.net>
Date: Mon, 17 Jun 2019 22:44:49 +0200
Subject: [PATCH] Jenkinsfile: use only slaves with label gluon-docker

---
 contrib/ci/Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/ci/Jenkinsfile b/contrib/ci/Jenkinsfile
index 52c39aee..1a233963 100644
--- a/contrib/ci/Jenkinsfile
+++ b/contrib/ci/Jenkinsfile
@@ -1,5 +1,5 @@
 pipeline {
-    agent any
+    agent { label 'gluon-docker' }
     environment {
         GLUON_SITEDIR = "contrib/ci/minimal-site"
         GLUON_TARGET = "x86-generic"