make git ssh work in deploy phase
@@ -353,6 +353,7 @@ pipeline {
AWS_SECRET_ACCESS_KEY = credentials('aws-secret-access-key')
AWS_REGION='us-east-2'
GITHUB_TOKEN = credentials('rv-jenkins')
+ GIT_SSH_COMMAND = 'ssh -o StrictHostKeyChecking=accept-new'
}
steps {
dir("bionic") {
@@ -371,6 +372,7 @@ pipeline {
dir("homebrew-k") {
git url: 'git@github.com:kframework/homebrew-k.git', branch: 'brew-release-kframework'
}
+ sshagent(['2b3d8d6b-0855-4b59-864a-6b3ddf9c9d1a']) {
sh '''
echo 'Setting up environment...'
eval `opam config env`
@@ -399,6 +401,7 @@ pipeline {
git push origin -d brew-release-$PACKAGE
'''
}
+ }
post {
failure {
slackSend color: '#cb2431' \
