Browse Source

modify Jenkinsfile

huqi 5 years ago
parent
commit
85802e5370
1 changed files with 1 additions and 1 deletions
  1. 1 1
      jenkinsfile

+ 1 - 1
jenkinsfile

@@ -1,5 +1,5 @@
 pipeline {
 pipeline {
-    agent {label: "132"}
+    agent {label '132'}
     stages {
     stages {
         stage('preperation') {
         stage('preperation') {
             steps {
             steps {