Parcourir la source

Merge branch 'feature/add_jenkinsfile' into 'develop'

Merge of feature/add_jenkinsfile to develop

See merge request o2oa/o2oa!63
胡起 il y a 5 ans
Parent
commit
7e7e43edfd
1 fichiers modifiés avec 1 ajouts et 1 suppressions
  1. 1 1
      Jenkinsfile

+ 1 - 1
jenkinsfile → Jenkinsfile

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