Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Introduce the check-typo Jenkins pipeline

master
Sébastien Hinderer 2020-08-10 15:08:57 +02:00
parent 63dbb26d53
commit bc62faec7b
3 changed files with 60 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
tools/ci/inria/README.md Normal file
View File

@ -0,0 +1,13 @@
This directory contains the configuration files of the Jenkins jobs
used to test OCaml on Inria's continuous integration infrastructure.
Each subdirectory under `tools/ci/inria` corresponds to one CI job
and should contain at least a Jenkinsfile describing the pipeline
associated with this job(1). In addition, the job's directory can also
contain a script file specifying the commands used to actually execute
the job. Other files may be included as appropriate.
(1) The Jenkinsfiles can follow either the declarative syntax documented
at https://www.jenkins.io/doc/book/pipeline/syntax, or the advanced
(scripted) one documented at
https://www.jenkins.io/doc/book/pipeline/jenkinsfile/#advanced-scripted-pipeline

47
tools/ci/inria/check-typo/Jenkinsfile vendored Normal file
View File

@ -0,0 +1,47 @@
/**************************************************************************/
/* */
/* 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 check-typo job on Inria's CI */
pipeline {
agent { label 'ocaml-linux-64' }
stages {
stage('Checking code style') {
steps {
sh '''
if [ ! -x tools/check-typo ] ; then
echo "tools/check-typo does not appear to be executable?"; >2;
exit 1;
fi
tools/check-typo
'''
}
}
}
post {
regression {
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
)
}
}
}

6
tools/ci/inria/extra-checks
View File

@ -111,12 +111,6 @@ export TSAN_SYMBOLIZER_PATH="$ASAN_SYMBOLIZER_PATH"
# Cleanup repository
git clean -q -f -d -x
# Ensure that the repo still passes the check-typo script
if [ ! -x tools/check-typo ] ; then
error "tools/check-typo does not appear to be executable?"
fi
tools/check-typo
#########################################################################
echo "======== old school build =========="