Update Jenkinsfile #18

Merged
chacha merged 1 commits from dev into master 2024-10-12 16:36:45 +02:00

1 Commits

Author SHA1 Message Date
79fb84f2bc Update Jenkinsfile 2024-10-12 16:33:30 +02:00