Fix doc build on CI
Passed
Oscar Gustafsson
created pipeline for commit
54ccd3d0
, finished
1 related merge request: !88 Fix doc build on CI
2 minutes 10 seconds, queued for 3 seconds