Update 'jenkins/Jenkinsfile'

This commit is contained in:
2023-10-13 20:16:36 +00:00
parent 8e6193d47d
commit 0ec6cfa4a8
View File