Skip to content
Snippets Groups Projects

REVIEW: fix make doc_clean (doesn't fail when no clean up necessary)

Failed
Timm Fitschen created pipeline for commit a8c26b78
, finished
1 related merge request: !4 Documentation
8 jobs 4 minutes 45 seconds, queued for 5 seconds