From 85b506bbd9e4eaa9bcbcdc8512606e58768c2b2b Mon Sep 17 00:00:00 2001
From: retropikzel <retropikzel@iki.fi>
Date: Thu, 11 Dec 2025 10:43:05 +0200
Subject: [PATCH] Adding release builds

---
 Jenkinsfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index c6011bf..86ede0a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -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 {