Skip to content

Fix typos in UIElements.ecore and regenerate.#3401

Merged
merks merged 1 commit into
eclipse-platform:masterfrom
merks:pr-ui-elements-typos
Oct 14, 2025
Merged

Fix typos in UIElements.ecore and regenerate.#3401
merks merged 1 commit into
eclipse-platform:masterfrom
merks:pr-ui-elements-typos

Conversation

@merks
Copy link
Copy Markdown
Contributor

@merks merks commented Oct 14, 2025

No description provided.

@merks merks mentioned this pull request Oct 14, 2025
@github-actions
Copy link
Copy Markdown
Contributor

Test Results

 3 018 files  ±0   3 018 suites  ±0   2h 40m 7s ⏱️ + 11m 20s
 8 226 tests ±0   7 977 ✅ +1  249 💤 ±0  0 ❌  - 1 
23 598 runs  ±0  22 804 ✅ +1  794 💤 ±0  0 ❌  - 1 

Results for commit be50d18. ± Comparison against base commit 300636b.

@merks merks merged commit cbf687d into eclipse-platform:master Oct 14, 2025
18 checks passed
@merks merks deleted the pr-ui-elements-typos branch October 14, 2025 09:08
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