diff --git a/docs/.gitlab-ci.yml b/docs/.gitlab-ci.yml index b2a226e8f9b9d2b93c8a302780c2ae987cf8cd72..3725e69ae14c0c90091fb935f0e0bfe4d00e1a96 100644 --- a/docs/.gitlab-ci.yml +++ b/docs/.gitlab-ci.yml @@ -39,4 +39,6 @@ lint-documentation: - vale sync script: - - vale $CI_PROJECT_DIR/docs/build/html/_sources + - RESULT=$(vale $CI_PROJECT_DIR/docs/build/html/_sources) + - echo "$RESULT" + - if echo "$RESULT" | tail -n 1 | grep -q "✖" ; then echo "Please fix all Vale errors and warnings" && exit 1 ; else exit 0 ; fi