Also build .deb package

2025-12-11 10:36:24 +02:00 · 2025-12-11 10:36:24 +02:00 · 00351e0c4b
parent d37b4b90b5
commit 00351e0c4b
2 changed files with 8 additions and 1 deletions
--- a/7
+++ b/7
@ -57,5 +57,12 @@ pipeline {
                }
            }
        }
+
+        stage('.deb package') {
+            steps {
+                sh "make deb"
+                archiveArtifacts artifacts: '*.deb', allowEmptyArchive: true, fingerprint: true, onlyIfSuccessful: true
+            }
+        }
    }
 }
--- a/2
+++ b/2
@ -1,7 +1,7 @@
 .SILENT: test-r6rs test-r6rs-docker test-r7rs test-r7rs-docker
 PREFIX=/usr/local
 SCHEME=chibi
-VERSION=1.0.0
+VERSION=1.1.0
 R6RSTMP=.tmp/${SCHEME}-r6rs
 R7RSTMP=.tmp/${SCHEME}-r7rs
 DOCKERTAG=compile-scheme-test-${SCHEME}