Jenkinsfile: deploy github pages after dependent bump
@@ -506,13 +506,7 @@ pipeline {
reuseNode true
}
}
- post {
- failure {
- slackSend color: '#cb2431' \
- , channel: '#k' \
- , message: "Deploy Phase Failed: ${env.BUILD_URL}"
- }
- }
+ 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')
@@ -577,6 +571,34 @@ pipeline {
'''
}
}
+ }
+ }
+ stage('Update Dependents') {
+ when {
+ branch 'master'
+ beforeAgent true
+ }
+ steps {
+ build job: 'rv-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}") \
+ ]
+ }
+ }
+ stage('GitHub Pages') {
+ when {
+ branch 'master'
+ beforeAgent true
+ }
+ agent {
+ dockerfile {
+ additionalBuildArgs '--build-arg USER_ID=$(id -u) --build-arg GROUP_ID=$(id -g)'
+ reuseNode true
+ }
+ }
+ 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']) {
sh '''
@@ -601,18 +623,5 @@ pipeline {
}
}
}
- stage('Update Submodules (release)') {
- when {
- branch 'master'
- beforeAgent true
- }
- steps {
- build job: 'rv-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}") \
- ]
- }
- }
}
}
