Update 'Jenkinsfile'

This commit is contained in:
dany 2022-07-29 15:14:16 +02:00
parent 68c4c10c0a
commit c436cb6076