ci: Add Jenkins pipeline

2018-07-27 08:19:25 -05:00
1 changed files with 1 additions and 1 deletions
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@ -11,7 +11,7 @@ pipeline {

    environment {
        PUBLISH_HOST = 'web0.pyrocufflink.blue'
-        PUBLISH_USER = 'webapp.dchwww'
+        PUBLISH_USER = 'webapp.dcow'
    }

    stages {