From 00721179daaf776b695acc1a1213845f9c60a558 Mon Sep 17 00:00:00 2001
From: Gabriel Zachmann <gabriel.zachmann@kit.edu>
Date: Mon, 1 Apr 2019 08:44:23 +0200
Subject: [PATCH] update jenkins pipeline library version

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

diff --git a/Jenkinsfile b/Jenkinsfile
index dd1daba..27d17c5 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,6 +1,6 @@
 #!/usr/bin/groovy
 
-@Library(['github.com/indigo-dc/jenkins-pipeline-library@1.0.0']) _
+@Library(['github.com/indigo-dc/jenkins-pipeline-library@1.3.1']) _
 
 pipeline {
     agent {