#7 (Nov 29, 2022, 3:51:18 PM)

Started 2 yr 0 mo ago

Took 3 min 29 sec

	Branch indexing
	Revision: 19a390f38e1bd59e80af52c8aa372c72082e7901 Repository: https://gitlab.gwdg.de/dariah-de/jenkins-shared-library.git master
	Revision: 5be10771656dbb4ec8411cb7fcbcad1db747bdc0 Repository: https://github.com/DARIAH-DE/bundled-jre.git release/4.0

No changes.