Skip to content

Cherry-pick to devel - CI: Fix uploading of documentation to the right directory.

Elisabetta Pianori requested to merge cherry-pick-46956b59 into devel

(cherry picked from commit 46956b59)

Merge request reports