CI: Treat broken doc links as a warning, not an error
I think that, as per #91 (comment 3039807) the new anchors from !370 (merged) are probably good enough to make this OK.
Also rename build-docs-local
.
Part of prep for #91 (closed)
I think that, as per #91 (comment 3039807) the new anchors from !370 (merged) are probably good enough to make this OK.
Also rename build-docs-local
.
Part of prep for #91 (closed)