From 13f09e821fff5cfbdbb6c7893c0873cdd48f1a1e Mon Sep 17 00:00:00 2001
From: Sameer Rahmani <lxsameer@gnu.org>
Date: Fri, 15 Jan 2021 18:31:41 +0000
Subject: [PATCH] Change the Jenkins agent type to any

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

diff --git a/Jenkinsfile b/Jenkinsfile
index f6c30eb..7f61bd4 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,5 @@
 pipeline {
-    agent docker
+    agent any
 
     stages {
         stage('Build') {