Update Jenkinsfile #41

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

1 Commits

Author SHA1 Message Date
490bc400cb Update Jenkinsfile 2024-10-12 16:42:52 +02:00