Closed iloveeclipse closed 2 years ago
Bug_303517 depends on PREF_AUTO_REFRESH enabled. RefreshProviderTest unconditionally disables PREF_AUTO_REFRESH.
See https://github.com/eclipse-platform/eclipse.platform.resources/issues/133
The Jenkins build of this PR has now completed. See details at https://ci.eclipse.org/platform/job/eclipse.platform.resources/job/PR-137/1/
Bug_303517 depends on PREF_AUTO_REFRESH enabled. RefreshProviderTest unconditionally disables PREF_AUTO_REFRESH.
See https://github.com/eclipse-platform/eclipse.platform.resources/issues/133