Correct the jenkinsfiles.

2019-08-01 21:06:02 +02:00
parent f7bdd184d4
commit b3942828be
2 changed files with 20 additions and 26 deletions
--- a/jenkins/Jenkinsfile-prod
+++ b/jenkins/Jenkinsfile-prod
@@ -84,7 +84,7 @@ pipeline {
                sshPublisher(
                        publishers: [
                                sshPublisherDesc(
-                                        configName: 'DebianServer [clubs]',
+                                        configName: 'DebianServer [codiki]',
                                        transfers: [
                                                sshTransfer(
                                                        cleanRemote: false,