Skip to content

Make /docs available through GitLab and GitHub CI

Related to #24 (closed).

Merge request reports