Update Jenkinsfile

This commit is contained in:
Andy Tudhope 2018-11-28 10:55:09 +02:00
parent 2063113431
commit 5dc5a72c77
No known key found for this signature in database
GPG Key ID: 02A3DFA93BF26AD2
1 changed files with 4 additions and 0 deletions

4
Jenkinsfile vendored
View File

@ -20,6 +20,10 @@ pipeline {
steps { steps {
sh "git config user.name ${env.GIT_USER}" sh "git config user.name ${env.GIT_USER}"
sh "git config user.email ${env.GIT_MAIL}" sh "git config user.email ${env.GIT_MAIL}"
/* necessary to have access to the theme partials */
sshagent(credentials: ['status-im-auto-ssh']) {
sh 'git submodule update --init --recursive'
}
} }
} }