Skip to content

Conversation

sgratzl
Copy link
Member

@sgratzl sgratzl commented Jun 30, 2021

closes #617

Prerequisites:

  • Unless it is a documentation hotfix it should be merged against the dev branch
  • Branch is up-to-date with the branch to be merged with, i.e. dev
  • Build is successful
  • Code is cleaned up and formatted

Summary

builds the docs as part of the server build and hosts them under /docs

@sgratzl sgratzl added chore api change affect the API and its responses labels Jun 30, 2021
@sgratzl sgratzl self-assigned this Jun 30, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
api change affect the API and its responses chore
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Consider integrating the API docs in the API server
1 participant