ci: documentation pipelines #39

Merged
light7734 merged 16 commits from ci/dev_docs into main 2025-08-23 11:36:02 +00:00
Showing only changes of commit b29b07cbe7 - Show all commits

View file

@ -90,6 +90,7 @@
# ---
kind: pipeline
privileged: true
type: docker
name: documentation
node: