Fix Jenkinsfile

This commit is contained in:
s487179 2023-04-15 00:13:06 +02:00
parent 09be010901
commit 20148da3ba