Make docs titles clickable (for links)
Summary
This MR introduces the following changes
- adding links to the headings in the docs
- adding minimal
needs
to jobs inprepare_docs
stage of our pipeline, to make them start right away after triggering the pipeline. I think if not specified, the jobs wait until all previous stages are completed
Example
If you hover with your mouse over the area right next to a heading, a hashtag will appear. If you click it, the url in your browser will change to a link right to that heading.
Edited by Joschka Birk