CI

rafiki270 · rafiki270 · commit 5eb5439401ff · 2018-08-13T14:02:24.000+01:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -8,7 +8,9 @@ pipeline {
     stage('Builds') {
         parallel {
             stage('Build Linux') {
-              agent linux
+              agent {
+                label 'linux'
+              }
               when {
                 anyOf {
                   branch 'master'
