Skip to content

Conversation

@HannesWell
Copy link
Contributor

@HannesWell HannesWell commented May 1, 2025

What it does

Also make sure the issues are published even in case of a failed build, as otherwise they are not visualized and improve order of post-actions.

Additionally record javadoc and maven issues, but don't add a quality-gate for them.

This is similar to

Author checklist

Also make sure the issues are published even in case of a failed build,
as otherwise they are not visualized and improve order of post-actions.

Additionally record javadoc and maven issues, but don't add a
quality-gate for them.
@HannesWell
Copy link
Contributor Author

@akurtakov could you please have a look at this?

@akurtakov
Copy link
Contributor

Looks good.

@akurtakov akurtakov merged commit 16d5f9f into eclipse-jdt:master May 1, 2025
10 checks passed
@HannesWell HannesWell deleted the adapt-api-problem-recording branch May 1, 2025 18:56
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