4 Commits

Author	SHA1	Message	Date
Matthias Koefferlein	3ac791234a	Adjusting Jenkinsfiles to Linux cluster	2023-02-24 14:47:23 +01:00
Matthias Koefferlein	b7ee5b043d	Disable concurrent builds on Jenkins	2020-03-29 10:41:27 +02:00
Matthias Koefferlein	03cba76535	Fixed Jenkinsfile-publish-sources	2018-06-24 12:19:21 +02:00
Matthias Koefferlein	5b73d1d796	Added Jenkinsfile to publish sources	2018-06-24 12:17:26 +02:00