Merge branch 'main' into dev

This commit is contained in:
egelhaus 2025-03-10 17:31:09 +01:00 committed by GitHub
commit 5353274e2e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 4 additions and 0 deletions

4
Jenkinsfile vendored
View File

@ -35,6 +35,10 @@ pipeline {
}
post {
always {
cleanWs(cleanWhenNotBuilt: false,
notFailBuild: true)
}
success {
echo 'Build completed successfully!'
}