[enh] #101 add manual job in gitlab-ci to publish doc in pages
Passed
Vincent Texier
created pipeline for commit
059e8f07
, finished
1 related merge request: !80 Doc on gitlab pages
5 minutes 8 seconds, queued for 1,210 seconds