Adding release builds

2025-12-11 10:43:05 +02:00
parent 00351e0c4b
commit 85b506bbd9
1 changed files with 2 additions and 0 deletions
@@ -20,6 +20,7 @@ pipeline {

    stages {
        stage('Build and install') {
+            when { not { branch 'release' } }
            steps {
                sh "make build-chibi"
                sh "make install"
@@ -27,6 +28,7 @@ pipeline {
        }

        stage('Test') {
+            when { not { branch 'release' } }
            parallel {
                stage('R6RS') {
                    steps {