Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use RepositoryHelper.getWorkspaceBundlePools to find all workspace pools #1037

Merged
merged 1 commit into from
Jan 7, 2024

Conversation

merks
Copy link
Contributor

@merks merks commented Jan 5, 2024

Guard the use such that -Dpde.usePoolsInfo=false can be used to disable the behavior.

eclipse-equinox/p2#410

Copy link

github-actions bot commented Jan 5, 2024

Test Results

   277 files     277 suites   49m 49s ⏱️
 3 496 tests  3 460 ✅  36 💤 0 ❌
10 619 runs  10 517 ✅ 102 💤 0 ❌

Results for commit be0473a.

♻️ This comment has been updated with latest results.

@laeubi laeubi force-pushed the pr-more-workspace-pools branch from 7ae38e4 to a739cb9 Compare January 6, 2024 07:43
Guard the use such that -Dpde.usePoolsInfo=false can be used to disable
the behavior.

eclipse-equinox/p2#410
@laeubi laeubi force-pushed the pr-more-workspace-pools branch from a739cb9 to be0473a Compare January 7, 2024 08:19
@merks merks merged commit ac41af4 into eclipse-pde:master Jan 7, 2024
16 of 17 checks passed
@merks merks deleted the pr-more-workspace-pools branch January 7, 2024 08:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant