#217 (Apr 22, 2023, 5:42:37 AM)

	Changes Revert "[cleanup] Update usage of deprecated preferences API" (details / githubweb)
	Started by user Pierre-Charles David
	This run spent: 0.15 sec waiting; 8 min 34 sec build duration; 8 min 34 sec total from scheduled to completion.
	Revision: 4fb584f65822f39e9ce9721429a29987bd80dbd4 Repository: https://github.com/eclipse/emf-validation.git origin/master
	Test Result (1 failure / +1) org.eclipse.emf.validation.tests.FrameworkTest.test_multiPackagesPerProvider

Configurations