	Push event to branch dev/sw at 6:33:08 PM on Jan 23, 2024 Started by GitLab push by Stephan Wahlbrink
	This run spent: 31 sec waiting; 5 min 41 sec build duration; 5 min 50 sec total from scheduled to completion.
	Revision: f9277132d6c0d2733565484bd8c409229f764cb4 Repository: git@gitlab.eclipse.org:eclipse/statet/statet.git dev/sw
	Test Result (no failures)