Drop no-op "allow_failure: false" of the "docs" job

"allow_failure: false" is the default for all but manual jobs, thus a
no-op in this context.

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4912023e86f5c79d858fb98b6b5621a0d504570c..ee9c67fa370af88e2f482a71c84ba48792a68155 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -565,7 +565,6 @@ docs:
   needs:
     - job: autoreconf
       artifacts: true
-  allow_failure: false
   artifacts:
     paths:
       - doc/arm/