Build #3925 (Dec 15, 2023, 1:06:56 PM)

PR #5587: Use custom function to form...
ub20-x64-omr2

	GitHub pull request #5587 of commit ad7275b03da3f1a2c49b8621d32f708c95507556, no merge conflicts.
	This run spent: 6.7 sec waiting; 18 min build duration; 19 min total from scheduled to completion.
	Revision: 195465e387e593f0d0784cec201e1eb463034715 Repository: https://github.com/eclipse/omr.git refs/remotes/origin/pr/5587/merge
	Test Result (no failures)