Update Jenkinsfile

This commit is contained in:
ahoemann 2025-02-14 08:52:22 +01:00
parent 38b91d6fc9
commit 4253e606eb