Update Jenkinsfile

This commit is contained in:
egelhaus 2025-04-14 19:23:29 +02:00 committed by GitHub
parent 8c4738f12d
commit f92a24e052
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions

1
Jenkinsfile vendored
View File

@ -65,6 +65,7 @@ pipeline {
'''
}
}
}
}
post {
success {