blob: 4221adc373598c0392a20d38e3a6f6517ed40526 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
/**************************************************************************/
/* */
/* 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 Risc-V job on Inria's CI */
pipeline {
agent { label 'olive' }
stages {
stage('Verifying that OCaml commpiles on a Risc-V virtual machine') {
steps {
sh 'ssh -p 10000 riscv@localhost GIT_COMMIT=${GIT_COMMIT} ' +
'flambda=false /home/riscv/run-ci'
}
}
}
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
)
}
}
}
|
