Tweaking label

InCommon · May 3, 2017 · e1cbb49 · e1cbb49
1 parent 177aec8
commit e1cbb49
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,5 +1,5 @@
 pipeline {
-    agent label{'docker'} 
+    agent { label 'docker' }
 
     stages {
         stage('Build') {