Add r7rs-pffi job
This commit is contained in:
parent
f641cbe16e
commit
5e63c82e82
19
jenkins.yml
19
jenkins.yml
|
@ -101,3 +101,22 @@ jobs:
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
- script: >
|
||||||
|
folder('r7rs_pffi') {
|
||||||
|
displayName: 'r7rs-pffi'
|
||||||
|
}
|
||||||
|
- script: >
|
||||||
|
multibranchPipelineJob('r7rs-pffi/r7rs-pffi') {
|
||||||
|
displayName: 'r7rs-pffi'
|
||||||
|
branchSources {
|
||||||
|
git {
|
||||||
|
id('github')
|
||||||
|
remote('https://git.sr.ht/~retropikzel/r7rs-pffi')
|
||||||
|
}
|
||||||
|
}
|
||||||
|
orphanedItemStrategy {
|
||||||
|
discardOldItems {
|
||||||
|
numToKeep(10)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
Reference in New Issue