Skip to content

Conversation

marcphilipp
Copy link
Member

No description provided.

@marcphilipp marcphilipp self-assigned this Sep 19, 2025
@marcphilipp marcphilipp force-pushed the marc/javadoc-warnings-as-errors branch from 67f6088 to c0b92a7 Compare September 30, 2025 10:14
@marcphilipp marcphilipp marked this pull request as ready for review September 30, 2025 10:14
@marcphilipp marcphilipp merged commit ee9ec3f into main Sep 30, 2025
16 checks passed
@marcphilipp marcphilipp deleted the marc/javadoc-warnings-as-errors branch September 30, 2025 12:06
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