add doc to CI
Failed
Benjamin Gallois
created pipeline for commit
7f086905
, finished
Related merge request !254 to merge 183-refac-doc
1 minute 58 seconds, queued for 10 seconds