Changes

Summary

make use of https://gitlab.gwdg.de/dariah-de/jenkins-shared-library in (details)

Commit b993e89f7a7991f49a019055c44aa0cc63a896f7 by veentjer make use of https://gitlab.gwdg.de/dariah-de/jenkins-shared-library in jenkinsfile
The file was modified	Jenkinsfile (diff)