Updated jenkinsfile #16

Merged
jkuijperm merged 1 commits from dev into main 2026-07-24 10:46:15 +00:00

1 Commits

Author SHA1 Message Date
35afb08960 Updated jenkinsfile 2026-07-24 12:45:10 +02:00