pages:
image: sphinxdoc/sphinx
tags:
- ci.inria.fr
- linux
- small
script:
- apt -yq update
- apt -yq install git
- bash ./scripts/build_documentation.sh -i public
artifacts:
paths:
- public
only:
- main