In addition to fixing the warning itself, this includes measures to more quickly discover similar issues in the future:
This PR now treats warnings as errors in our docs Makefile, consistent with ReadTheDocs’ configuration. It also builds docs as part of our CI workflows, so we notice future issues on every PR and can fix them before merging broken docs into main.
Fixes #327.
In addition to fixing the warning itself, this includes measures to more quickly discover similar issues in the future: This PR now treats warnings as errors in our docs Makefile, consistent with ReadTheDocs’ configuration. It also builds docs as part of our CI workflows, so we notice future issues on every PR and can fix them before merging broken docs into
main
.