ci: Allow doc build failed.

This commit is contained in:
Pierre-Antoine Rouby committed 2023-10-11 16:50:14 +02:00
1 parent 1fd840d33f
commit cc465a050c
1 file changed
+2
+2
View File
@@ -100,6 +100,7 @@ build-users-doc:
- doc/users/documentation.pdf - doc/users/documentation.pdf
- doc/users/documentation.html - doc/users/documentation.html
- doc/users/images/ - doc/users/images/
allow_failure: true
build-developers-doc: build-developers-doc:
stage: build stage: build
@@ -130,6 +131,7 @@ build-developers-doc:
- doc/dev/documentation.html - doc/dev/documentation.html
- doc/dev/html.tar - doc/dev/html.tar
- doc/dev/images/ - doc/dev/images/
allow_failure: true
build-linux: build-linux:
stage: build stage: build