Skip to content

Conversation

@rwinch
Copy link
Member

@rwinch rwinch commented Oct 22, 2025

The rest of the project uses maven and the github workflow was attempting to use Maven.

NOTE: Merge this after the antora fixes for main #1191

The rest of the project uses maven and the github workflow was attempting
to use Maven.
@fmbenhassine fmbenhassine merged commit ad91e8a into spring-projects:docs-build Oct 23, 2025
1 check 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