From 35fa51429643fbbb4a0fbe4264eb4a0060372974 Mon Sep 17 00:00:00 2001 From: retropikzel Date: Wed, 22 Jul 2026 20:54:19 +0300 Subject: [PATCH] New builds --- Jenkinsfile | 21 ++++++++++++++------- 1 file changed, 14 insertions(+), 7 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 223f58c..ec5ab91 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -5,16 +5,16 @@ pipeline { buildDiscarder(logRotator(numToKeepStr: '10', artifactNumToKeepStr: '10')) } stages { - agent { - docker { - image 'schemers/chibi:head' - reuseNode true - args:'--user=root' - } - } steps { script { stage('init') { + agent { + docker { + image 'schemers/chibi:head' + reuseNode true + args:'--user=root' + } + } catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { sh 'apt-get update && apt-get install -y git ca-certificates gcc make libffi-dev' sh 'git clone https://github.com/ashinn/chibi-scheme.git --depth=1' @@ -24,6 +24,13 @@ pipeline { } } stage('tap') { + agent { + docker { + image 'schemers/chibi:head' + reuseNode true + args:'--user=root' + } + } catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { sh 'COMPILE_R7RS=chibi compile-r7rs ' }