Skip to content

Comments

Continue #2027 (and #2035): use Stream for ILaunchDelegateManager#2044

Merged
ruspl-afed merged 1 commit intoeclipse-platform:masterfrom
ruspl-afed:launcher_delegate_manager_streams
Jul 14, 2025
Merged

Continue #2027 (and #2035): use Stream for ILaunchDelegateManager#2044
ruspl-afed merged 1 commit intoeclipse-platform:masterfrom
ruspl-afed:launcher_delegate_manager_streams

Conversation

@ruspl-afed
Copy link
Contributor

@github-actions
Copy link
Contributor

github-actions bot commented Jul 14, 2025

Test Results

 1 947 files  ±0   1 947 suites  ±0   1h 30m 46s ⏱️ - 5m 32s
 4 720 tests ±0   4 696 ✅ ±0   24 💤 ±0  0 ❌ ±0 
14 160 runs  ±0  13 993 ✅ ±0  167 💤 ±0  0 ❌ ±0 

Results for commit 621c191. ± Comparison against base commit cd13212.

♻️ This comment has been updated with latest results.

@ruspl-afed ruspl-afed force-pushed the launcher_delegate_manager_streams branch from 2d711eb to 621c191 Compare July 14, 2025 16:44
Copy link
Contributor

@laeubi laeubi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

looks good

@ruspl-afed ruspl-afed merged commit 5a019ec into eclipse-platform:master Jul 14, 2025
18 checks passed
@ruspl-afed ruspl-afed deleted the launcher_delegate_manager_streams branch July 14, 2025 17:20
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.

2 participants