fix: Use WE PaperweightAdapter for seed replacement (#1440)

* Use WE PaperweightAdapter for seed replacement
also, only replace when necessary

* fix comments

* ci: Provide basic Jenkinsfile for ghprb pipeline (#1451)

Co-authored-by: Alex <mc.cache@web.de>
This commit is contained in:
Hannes Greule
2021-12-07 12:59:58 +01:00
committed by GitHub
parent 781bfc542f
commit 5367921496
3 changed files with 22 additions and 38 deletions

10
Jenkinsfile vendored Normal file
View File

@ -0,0 +1,10 @@
pipeline {
agent any
stages {
stage('Build pull request') {
steps {
sh './gradlew clean build'
}
}
}
}