Build #17 (Dec 8, 2023, 11:25:17 AM)

BUILD_TYPE=nightly
WITH_CREDENTIALS=true
PROMOTE=true

	Changes Improve the build job description (details / githubweb)
	Push event to branch master at 11:25:03 AM on Dec 8, 2023
	This run spent: 23 sec waiting; 13 min build duration; 13 min total from scheduled to completion.
	Revision: b713f4ae212707b5e083c435c3eeabe2ebe6f046 Repository: https://github.com/eclipse-datatools/datatools.git master
	Test Result (no failures)