CI

rafiki270 · rafiki270 · commit bff8e2f6e172 · 2018-08-13T14:00:13.000+01:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -8,7 +8,7 @@ pipeline {
     stage('Builds') {
         parallel {
             stage('Build Linux') {
-              agent any
+              agent linux
               when {
                 anyOf {
                   branch 'master'
