1
0
Fork 0

Compare commits

..

No commits in common. "f708942ae59fe9d52b0cd03873a890cded3aa699" and "00351e0c4bfa5fc3cfa75e1bdf50130d7005473a" have entirely different histories.

1 changed files with 17 additions and 17 deletions

4
Jenkinsfile vendored
View File

@ -20,7 +20,6 @@ pipeline {
stages {
stage('Build and install') {
when { not { branch 'release' } }
steps {
sh "make build-chibi"
sh "make install"
@ -28,7 +27,7 @@ pipeline {
}
stage('Test') {
when { not { branch 'release' } }
parallel {
stage('R6RS') {
steps {
script {
@ -57,6 +56,7 @@ pipeline {
}
}
}
}
stage('.deb package') {
steps {