Open phackstock opened 2 years ago
What would probably be good is to run a GitHub action workflow to check if the docs can be built successfully. This way we can avoid that a PR accidentally kills the docs. Unless we have that already in place in which case we can close this PR.
What would probably be good is to run a GitHub action workflow to check if the docs can be built successfully. This way we can avoid that a PR accidentally kills the docs. Unless we have that already in place in which case we can close this PR.