Skip to content
Snippets Groups Projects

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
3 jobs 2 minutes 5 seconds, queued for 3 seconds