Skip to content
Snippets Groups Projects

add build-docs.sh for publishing documentation

Merged add build-docs.sh for publishing documentation
feature/build-docs-script into develop
Merged Karel van Klink requested to merge feature/build-docs-script into develop
Status
Pipeline
Created by
Stages
Actions
Passed

00:02:19

avatar
Stage: tox
Stage: documentation
Download artifacts

No artifacts found