From 740f1250c75558973d6547669abda71d7bdf4210 Mon Sep 17 00:00:00 2001 From: lucianom Date: Fri, 2 Oct 2020 11:19:02 +0100 Subject: [PATCH] Update pinned version of xmos_jenkins_shared_library --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 4f167c75..7be26239 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,4 +1,4 @@ -@Library('xmos_jenkins_shared_library@v0.14.1') _ +@Library('xmos_jenkins_shared_library@v0.14.2') _ getApproval()