build docs to /docs/build instead of /docs/build/html
Passed
Karel van Klink
created pipeline for commit
6a37ec68
, finished
1 related merge request: !42 build docs to /docs/build instead of /docs/build/html
2 minutes 5 seconds, queued for 3 seconds