Clean up after merging toMkdocs branch
Passed
Andreas Kraft
created pipeline for commit
f1a00539
, finished
For toMkdocs-title-page
28 seconds, queued for 1 seconds