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

IAbstractTextEditorHelpContextIds.FIND_REPLACE_OVERLAY is @since 3.18 #2079

Conversation

merks
Copy link
Contributor

@merks merks commented Jul 13, 2024

  • New API requires a new minor version

@merks
Copy link
Contributor Author

merks commented Jul 13, 2024

@HeikoKlare @Wittmaxi @iloveeclipse

I'm not sure how this slipped past and why the builds don't fail. I had an API error about this in my workspace. It can't be correct that something new is @since 3.17 while the current version is current 3.17.500.

Copy link
Contributor

Test Results

 1 815 files  +  605   1 815 suites  +605   1h 30m 21s ⏱️ + 26m 44s
 7 671 tests ±    0   7 442 ✅ +    2  228 💤  -   3  1 ❌ +1 
24 174 runs  +8 058  23 424 ✅ +7 821  749 💤 +236  1 ❌ +1 

For more details on these failures, see this check.

Results for commit 43328d0. ± Comparison against base commit db983ef.

@HeikoKlare
Copy link
Contributor

HeikoKlare commented Jul 14, 2024

Thank you for the correction, @merks!

It seems like the API error introduced in #2045 was not properly processed by the API tooling and instead "only" considered as a Maven issue, for which we have no quality gate defined, such that all PR checks succeed (https://github.com/eclipse-platform/eclipse.platform.ui/runs/27238010348):

<pre><code>1 API problems can&#x27;t be mapped to the compiler log!</code></pre>

See also recent Jenkins logs for master builds (such as https://ci.eclipse.org/platform/job/eclipse.platform.ui/job/master/543/maven-warnings/moduleName.678174556/):
Bildschirmfoto 2024-07-14 um 21 28 07

Sorry that I missed that the PR introduced new Maven issues. I will have a better look in future, even if all GitHub checks run green.

@merks merks merged commit 224ee6f into eclipse-platform:master Jul 14, 2024
14 of 16 checks passed
@merks merks deleted the pr-org.eclipse.ui.workbench.texteditor-3.18 branch July 14, 2024 19:40
@laeubi
Copy link
Contributor

laeubi commented Jul 15, 2024

Just wanted to mention that you can see it in the checks overview as well:

grafik

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.

3 participants