Skip to content

Add build docs and deploy

Timon Heim requested to merge mkdocs_deploy into devel

Build docs in CI and deploy to EOS to get rid of loop via GitHub and readthedocs.

Merge request reports