Define Inria CI's other-configs job as a Jenkins pipeline, take #1
parent
e05fc92d12
commit
b1ffaf6008
|
@ -0,0 +1,43 @@
|
|||
/**************************************************************************/
|
||||
/* */
|
||||
/* OCaml */
|
||||
/* */
|
||||
/* Sebastien Hinderer, INRIA Paris */
|
||||
/* */
|
||||
/* Copyright 2020 Institut National de Recherche en Informatique et */
|
||||
/* en Automatique. */
|
||||
/* */
|
||||
/* All rights reserved. This file is distributed under the terms of */
|
||||
/* the GNU Lesser General Public License version 2.1, with the */
|
||||
/* special exception on linking described in the file LICENSE. */
|
||||
/* */
|
||||
/**************************************************************************/
|
||||
|
||||
/* Pipeline for the other-configs job on Inria's CI */
|
||||
|
||||
/* Test various other compiler configurations */
|
||||
|
||||
pipeline {
|
||||
agent { label 'ocaml-linux-64' }
|
||||
stages {
|
||||
stage('Testing various other compiler configurations')
|
||||
steps {
|
||||
sh 'tools/ci/inria/other-configs/script'
|
||||
}
|
||||
}
|
||||
}
|
||||
post {
|
||||
always {
|
||||
emailext (
|
||||
to: 'ocaml-ci-notifications@inria.fr',
|
||||
subject: 'Job $JOB_NAME $BUILD_STATUS (build #$BUILD_NUMBER)',
|
||||
body: 'Changes since the last successful build:\n\n' +
|
||||
'${CHANGES, format="%r %a %m"}\n\n' +
|
||||
'See the attached build log or check console output here:\n' +
|
||||
'$BUILD_URL\n',
|
||||
/* recipientProviders: [[$class: 'DevelopersRecipientProvider']], */
|
||||
attachLog: true
|
||||
)
|
||||
}
|
||||
}
|
||||
}
|
Loading…
Reference in New Issue