fix gitlab-ci (doc_hist)

5 jobs for master in 9 minutes and 52 seconds (queued for 4 seconds)