5 jaren geleden · 777f68276a
--- a/Jenkins/production.jenkins
+++ b/Jenkins/production.jenkins
@@ -1,7 +1,7 @@
 
				 #!groovy
			
 
				 pipeline {
			
 
				     agent {
			
 
				-       label 'master'
			
 
				+       label 'production'
			
 
				     }
			
 
				 
			
 
				     options {