require-docs workflow passes silently when user-facing changes skip the docs checkbox