Skip to content

Fix gitlab CI

Michal Mazurek requested to merge mimazure-fix-gitlab-ci into master

@gcorti @mexu @admorris This ports the fixes that were applied in Gaussino/Gaussino!178 (merged). It should fix the CI part related to building the documentation.

Edited by Michal Mazurek

Merge request reports