[fix] #124 fix make docs failing in gitlab publish_docs stage
Passed
Vincent Texier
created pipeline for commit
7aa19aba
, finished
1 related merge request: !110 Merge dev into master for v0.58.0 release
4 minutes 6 seconds, queued for 3 seconds