	Push event to branch dev/sw at 7:55:51 AM on Nov 13, 2023 Started by GitLab push by Stephan Wahlbrink
	This run spent: 34 sec waiting; 13 min build duration; 13 min total from scheduled to completion.
	Revision: 3d4745bdd3c787d8d7df7c597ee228eaf26373aa Repository: git@gitlab.eclipse.org:eclipse/statet/statet.git dev/sw
	Test Result (no failures)