Update Jenkinsfile #13

Merged
chacha merged 1 commits from dev into master 2024-10-12 17:33:01 +02:00

1 Commits

Author SHA1 Message Date
7bab9f4a6b Update Jenkinsfile 2024-10-12 16:42:10 +02:00