	Push event to branch dev/sw at 11:12:14 AM on Feb 7, 2024 Started by GitLab push by Stephan Wahlbrink
	This run spent: 7 min 5 sec waiting; 15 min build duration; 15 min total from scheduled to completion.
	Revision: 6b3fe185a73ee083fac565c20abb2b63ae717120 Repository: git@gitlab.eclipse.org:eclipse/statet/statet.git dev/sw
	Test Result (no failures)