From 465dfcdc80f82ae863901e141e31c9c61a9e80c4 Mon Sep 17 00:00:00 2001
From: David Prevot <dprevot+git@evolix.fr>
Date: Mon, 2 May 2022 15:16:20 +0200
Subject: [PATCH] CI: Use agent providing Docker

---
 .Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.Jenkinsfile b/.Jenkinsfile
index dec521d..c71d249 100644
--- a/.Jenkinsfile
+++ b/.Jenkinsfile
@@ -1,5 +1,5 @@
 pipeline {
-    agent any
+    agent { label 'docker' }
 
     stages {
         stage('Build gbp') {