fix xtask gen-docs
Failed
Benjamin Gallois
created pipeline for commit 10bc5d2d
, finished
Related merge request !254 to merge 183-refac-doc
4 minutes 50 seconds, queued for 6 seconds