il y a 5 ans · b3c9b4c491
--- a/Jenkins/develop.jenkins
+++ b/Jenkins/develop.jenkins
@@ -1,7 +1,7 @@
 
																 #!groovy
															
 
																 pipeline {
															
 
																     agent {
															
 
																-       label 'master'
															
 
																+       label 'develop'
															
 
																     }
															
 
																     options {