feat(jenkins): GH Checks for the PR
@@ -61,6 +61,7 @@ pipeline {
*/
stage('Lint') {
steps {
+ withGithubNotify(context: 'Lint') {
deleteDir()
unstash 'source'
dir("${BASE_DIR}"){
@@ -78,6 +79,7 @@ pipeline {
}
}
}
+ }
/**
Execute unit tests.
*/
@@ -85,6 +87,7 @@ pipeline {
agent { label 'linux && immutable' }
options { skipDefaultCheckout() }
steps {
+ withGithubNotify(context: 'Test', tab: 'tests') {
deleteDir()
unstash "source"
dir("${BASE_DIR}"){
@@ -105,6 +108,7 @@ pipeline {
}
}
}
+ }
/**
Build the documentation.
*/
@@ -145,6 +149,7 @@ pipeline {
PATH = "${env.PATH}:${env.WORKSPACE}/.local/bin"
}
steps {
+ withGithubNotify(context: 'Building packages') {
deleteDir()
unstash 'source'
dir("${BASE_DIR}"){
@@ -155,6 +160,7 @@ pipeline {
stash allowEmpty: true, name: 'packages', includes: "${BASE_DIR}/wheelhouse/*.whl,${BASE_DIR}/dist/*.tar.gz", useDefaultExcludes: false
}
}
+ }
stage('Release') {
agent { label 'linux && immutable' }
options { skipDefaultCheckout() }
@@ -184,6 +190,7 @@ pipeline {
}
}
steps {
+ withGithubNotify(context: 'Release') {
deleteDir()
unstash 'source'
unstash('packages')
@@ -193,6 +200,7 @@ pipeline {
}
}
}
+ }
post {
always{
script{
