fix gitlab-ci (doc_hist)
Passed
Jean-Baptiste Delisle
created pipeline for commit
17df7b4b
, finished
For v1.0.2
7 minutes 18 seconds, queued for 13 seconds