Skip to content

Change .gitlab-ci to generate publicly accessible documentation

pietro requested to merge abate@public_doc into master

Publish odoc on gitlab.io.

Edited by Arvid Jakobsson

Merge request reports