Build #257 (Apr 6, 2024, 3:18:00 AM)

	Started by timer
	This run spent: 7.3 sec waiting; 2 min 52 sec build duration; 2 min 52 sec total from scheduled to completion.
	Revision: 98d7bb8ab3157d6d4738858f3badd16db141e1e7 Repository: https://github.com/eclipsefdn/jenkins-pipeline-shared.git master
	Revision: 8f9deae87fcdb8d4dbbdae56a395dae061a7d10d Repository: https://gitlab.eclipse.org/eclipse-wg/asciidoc-wg/asciidoc-wg.eclipse.org.git main