Update 'Jenkinsfile'

This commit is contained in:
dany 2022-09-16 13:13:22 +02:00
parent 62c7158696
commit 82e77b4fa6