Jenkinsfile: fixes for new jenkins
@@ -495,13 +495,7 @@ pipeline {
}
}
post { failure { slackSend color: '#cb2431' , channel: '#k' , message: "Deploy Phase Failed: ${env.BUILD_URL}" } }
- environment {
- AWS_ACCESS_KEY_ID = credentials('aws-access-key-id')
- 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'
- }
+ environment { GITHUB_TOKEN = credentials('rv-jenkins-access-token') }
steps {
unstash 'src'
dir('bionic') { unstash 'bionic' }
@@ -509,7 +503,7 @@ pipeline {
dir('buster') { unstash 'buster' }
dir('arch') { unstash 'arch' }
dir('mojave') { unstash 'mojave' }
- sshagent(['2b3d8d6b-0855-4b59-864a-6b3ddf9c9d1a']) {
+ sshagent(['rv-jenkins-github']) {
sh '''
git clone 'ssh://github.com/kframework/k.git' k-release
cd k-release
@@ -550,7 +544,7 @@ pipeline {
}
dir('homebrew-k') {
git url: 'git@github.com:kframework/homebrew-k.git', branch: 'brew-release-kframework'
- sshagent(['2b3d8d6b-0855-4b59-864a-6b3ddf9c9d1a']) {
+ sshagent(['rv-jenkins-github']) {
sh '''
git checkout master
git merge brew-release-$PACKAGE
@@ -567,7 +561,7 @@ pipeline {
beforeAgent true
}
steps {
- build job: 'rv-devops/master', propagate: false, wait: false \
+ build job: 'DevOps/master', propagate: false, wait: false \
, parameters: [ booleanParam ( name: 'UPDATE_DEPS' , value: true ) \
, string ( name: 'UPDATE_DEPS_REPO' , value: 'kframework/k' ) \
, string ( name: 'UPDATE_DEPS_VERSION' , value: "${env.K_RELEASE_TAG}") \
@@ -588,7 +582,7 @@ pipeline {
post { failure { slackSend color: '#cb2431' , channel: '#k' , message: "GitHub Pages Deploy Failed: ${env.BUILD_URL}" } }
steps {
dir('gh-pages') {
- sshagent(['2b3d8d6b-0855-4b59-864a-6b3ddf9c9d1a']) {
+ sshagent(['rv-jenkins-github']) {
sh '''
git clone 'ssh://github.com/kframework/k.git' --depth 1 --no-single-branch --branch master --branch gh-pages
cd k
@@ -626,7 +620,7 @@ pipeline {
options { skipDefaultCheckout() }
post { failure { slackSend color: '#cb2431' , channel: '#k' , message: "Failed to trigger Release: ${env.BUILD_URL}" } }
steps {
- sshagent(['2b3d8d6b-0855-4b59-864a-6b3ddf9c9d1a']) {
+ sshagent(['rv-jenkins-github']) {
sh '''
git clone 'ssh://github.com/kframework/k' k-release
cd k-release
