-
Notifications
You must be signed in to change notification settings - Fork 1
Open
Labels
documentationImprovements or additions to documentationImprovements or additions to documentation
Description
I think we can make two improvements:
- Disable the
latexbuild. The argument for building the documentation within a PR is to catch errors early-on. For that task we do not need to build thehtmland thelatexversion: one is sufficient. Since thelatexbuild needs more resources we should disable it in favor of thehtmlbuild. - Currently warnings raised by the build are ignored. We should build with the
-Wflag to turn them into errors.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
documentationImprovements or additions to documentationImprovements or additions to documentation