Closed amiclaus closed 7 months ago
With the merge of 9363026 a Makefile was created for the sphinx build.
Adapt the CI to use it instead of running directly the spinx-build command.
Pull Request Description
With the merge of 9363026 a Makefile was created for the sphinx build.
Adapt the CI to use it instead of running directly the spinx-build command.
PR Type
PR Checklist