-
David Pisek authored
This commit adds additional information (link to latest pipeline and it's time) to the header section of the dependency list page. It also increases the main headers font size adds a link to the relevant documentation page to it.
f3af6a58