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 'rm -rf srfi-test && git clone https://github.com/srfi-explorations/srfi-test.git' sh 'mkdir -p reports' sh 'touch reports/placeholder' stash name: 'reports', includes: 'reports/*' sh 'echo "