From 49946e27e0abdfc291a87a87ee82d978ab1a4484 Mon Sep 17 00:00:00 2001 From: Endolf Date: Wed, 23 May 2018 00:50:27 +0100 Subject: [PATCH] WIP jenkinsfile. --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 41a6027..1f776bd 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -16,7 +16,7 @@ pipeline { } } } - stage('Build on Windows') { + stage('Build on Linux') { agent { label "linux" }