Update 'Jenkinsfile'

This commit is contained in:
dany 2022-08-02 18:17:38 +02:00
parent 9fd86238df
commit e4cdf96322