Docker-in-Docker (DinD) capabilities of public runners deactivated. More info

Commit bb780017 authored by Pierre Aubert's avatar Pierre Aubert
Browse files

Try to diminish pages archive size

parent 2febb5df
Pipeline #97075 failed with stages
in 5 minutes and 51 seconds
......@@ -81,7 +81,7 @@ Doc:
-DCMAKE_INSTALL_PREFIX=/usr
-DDOC_MODE=yes
- make all
- make doc
- make doc create_platex_doc
- scp -r doc/platex/* ../public
- scp -r doc/html/* ../public/html
artifacts:
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment