	Push event to branch dev/sw at 2:28:48 PM on Dec 17, 2023 Started by GitLab push by Stephan Wahlbrink
	This run spent: 31 sec waiting; 5 min 13 sec build duration; 5 min 21 sec total from scheduled to completion.
	Revision: a60d10f615dc63e51bb6348d3620f49f886ee12a Repository: git@gitlab.eclipse.org:eclipse/statet/statet.git dev/sw
	Test Result (no failures)