Update 'Jenkinsfile'

This commit is contained in:
dany 2022-08-02 18:18:31 +02:00
parent e4cdf96322
commit 536cf6b897