1.19.0+dev #1

Merged
Lila-Kuh merged 7 commits from 1.19.0+dev into main 2023-01-19 02:13:20 +01:00
Showing only changes of commit 3802ffdc04 - Show all commits

11
Jenkinsfile vendored Normal file
View File

@ -0,0 +1,11 @@
pipeline {
agent any
stages {
stage('Do nothing') {
steps {
sh '/bin/true'
}
}
}
}