Skip to content

Fix Javadoc #3400

Merged
merks merged 1 commit into
eclipse-platform:masterfrom
elsazac:fixjavadoc4
Oct 15, 2025
Merged

Fix Javadoc #3400
merks merged 1 commit into
eclipse-platform:masterfrom
elsazac:fixjavadoc4

Conversation

@elsazac
Copy link
Copy Markdown
Member

@elsazac elsazac commented Oct 13, 2025

Fix Javadoc errors

Copy link
Copy Markdown
Contributor

@merks merks left a comment

Choose a reason for hiding this comment

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

Please fix problems in "model-doc" sections in the *.ecore file and regenerate them.

@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented Oct 13, 2025

Test Results

 3 018 files  ±0   3 018 suites  ±0   2h 17m 31s ⏱️ +42s
 8 226 tests ±0   7 977 ✅ ±0  249 💤 ±0  0 ❌ ±0 
23 598 runs  ±0  22 804 ✅ ±0  794 💤 ±0  0 ❌ ±0 

Results for commit 0a3c2cc. ± Comparison against base commit cbf687d.

♻️ This comment has been updated with latest results.

@merks
Copy link
Copy Markdown
Contributor

merks commented Oct 14, 2025

When this is merged, you can rebase on it and fix the renaming typos:

#3401

@merks
Copy link
Copy Markdown
Contributor

merks commented Oct 14, 2025

@elsazac

You did take note of this PR, right?

https://github.com/eclipse-platform/eclipse.platform.ui/pull/3401/files

There are unresolved conflicts in this PR because you are changing the same files as I already committed earlier today

@elsazac
Copy link
Copy Markdown
Member Author

elsazac commented Oct 15, 2025

You did take note of this PR, right?

yes, will resolve this

@merks
Copy link
Copy Markdown
Contributor

merks commented Oct 15, 2025

When I arrive later in a few hours I’ll review on my computer.

@merks
Copy link
Copy Markdown
Contributor

merks commented Oct 15, 2025

Sorry, this is still on my todo list.

@merks
Copy link
Copy Markdown
Contributor

merks commented Oct 15, 2025

Thank you for caring for even the small details!

@merks merks merged commit c521dfc into eclipse-platform:master Oct 15, 2025
18 checks passed
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