#5126 (Jun 6, 2024, 1:45:48 PM)

PR #3178: Failed to import a folder w...

	No changes.
	GitHub pull request #3178 of commit b6170d9593b01d47a86cf38bacdca4e5fea04a47, no merge conflicts.
	This run spent: 57 sec waiting; 26 min build duration; 27 min total from scheduled to completion.
	Revision: 661ebb45154769343333310591a4c23661b499c7 Repository: https://github.com/eclipse-jdtls/eclipse.jdt.ls.git refs/remotes/origin/pr/3178/merge
	Test Result (no failures)