Update 'Jenkinsfile'

This commit is contained in:
dany 2022-09-16 13:11:28 +02:00
parent dce1cb792e
commit c764c8f094