From 6654cc5e017a51b143b6e22deaf371cbb4e4d9e6 Mon Sep 17 00:00:00 2001
From: Gabriel Augendre <gabriel@augendre.info>
Date: Thu, 3 May 2018 11:02:59 +0200
Subject: [PATCH] Update Jenkinsfile

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 01798c2..dcb97fe 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,4 +1,5 @@
 pipeline {
+  agent any
   stages {
     stage('Build') {
       steps {