Update Jenkins Buildjob #504

Merged

muellerr merged 2 commits from update_jenkins_buildjob into develop 2023-03-21 14:39:25 +01:00

Conversation 0 Commits 2 Files Changed 1 +15 -5

2 Commits

Author	SHA1	Message	Date
Robin Mueller	f68f4066be	small jenkinsfile fix	2023-03-21 15:30:09 +01:00
Robin Mueller	3f1f3fa916	update jenkins buildjob	2023-03-21 15:28:14 +01:00