Compare commits
No commits in common. "f708942ae59fe9d52b0cd03873a890cded3aa699" and "00351e0c4bfa5fc3cfa75e1bdf50130d7005473a" have entirely different histories.
f708942ae5
...
00351e0c4b
|
|
@ -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 {
|
||||
|
|
|
|||
Loading…
Reference in New Issue