Changes

Summary

  1. 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 modifiedJenkinsfile (diff)