Skip to content

Adapt pipeline for new apidocs generation target - #56

Merged
empwilli merged 1 commit into
mainfrom
empwilli/fix_api_docs_generation
Oct 30, 2026
Merged

empwilli merged 1 commit into
mainfrom
empwilli/fix_api_docs_generation

Conversation

@empwilli

@empwilli empwilli commented Oct 30, 2026 •

Copy link
Copy Markdown
Contributor

With the newer version of javadoc, the api docs are generated into a different
place, causing the gh-publish action to fail. Adapt the generation target
accordingly.

With the newer version of javadoc, the api docs are generated into a
different place, causing the gh-publish action to fail. Adapt the
generation target accordingly.
@empwilli
empwilli merged commit e6b303b into main Oct 30, 2026
2 checks passed
@empwilli
empwilli deleted the empwilli/fix_api_docs_generation branch October 30, 2026 09:07
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