46 lines
1.1 KiB
Plaintext
46 lines
1.1 KiB
Plaintext
pipeline {
|
|
|
|
agent {
|
|
dockerfile {
|
|
filename 'Dockerfile.jenkins'
|
|
dir '.'
|
|
args '--privileged -v /var/run/docker.sock:/var/run/docker.sock'
|
|
}
|
|
}
|
|
|
|
options {
|
|
buildDiscarder(logRotator(numToKeepStr: '10', artifactNumToKeepStr: '10'))
|
|
}
|
|
|
|
parameters {
|
|
choice(name: 'BUILD_IMPLEMENTATION',
|
|
description: 'Build',
|
|
choices: [
|
|
'all',
|
|
'chibi',
|
|
'chicken',
|
|
'cyclone',
|
|
'gambit',
|
|
'gauche',
|
|
'guile',
|
|
'kawa',
|
|
'loko',
|
|
'mit-scheme',
|
|
'sagittarius',
|
|
'stklos',
|
|
'skint',
|
|
'tr7',
|
|
])
|
|
}
|
|
|
|
stages {
|
|
|
|
stage("Init") {
|
|
steps {
|
|
sh 'mkdir -p reports'
|
|
sh 'touch reports/placeholder'
|
|
stash name: 'reports', includes: 'reports/*'
|
|
sh 'echo "<h1>Test results</h1>" > reports/results.html'
|
|
}
|
|
}
|