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 75af6e2436 - Show all commits

View file

@ -87,6 +87,7 @@
# pull: if-not-exists
# commands:
# - ./tools/ci/static_analysis/clang_format.sh
# ---
kind: pipeline
type: docker
@ -112,12 +113,12 @@ steps:
- mv ./html light_docs_dev_staging
# Stage
- "ssh -tt 'light@5.75.206.84' 'sudo rm -rf /home/light/light_docs_dev_staging'"
- "scp -r './light_docs_dev_staging' 'light@5.75.206.84:/home/light/'"
- ssh -tt 'light@5.75.206.84' 'sudo rm -rf /home/light/light_docs_dev_staging'
- scp -r './light_docs_dev_staging' 'light@5.75.206.84:/home/light/'
# Move to endpoint
- "ssh -tt 'light@5.75.206.84' 'sh -c \"sudo rm -rf /home/light/light_docs_dev/*'\""
- "ssh -tt 'light@5.75.206.84' 'sh -c \"sudo mv /home/light/light_docs_dev_staging/* /home/light/light_docs_dev/'\""
- ssh -tt 'light@5.75.206.84' 'sudo rm -rf "/home/light/light_docs_dev/*"'
- ssh -tt 'light@5.75.206.84' 'sudo mv "/home/light/light_docs_dev_staging/*" /home/light/light_docs_dev/'
# Remove staging
- "ssh -tt 'light@5.75.206.84' 'sudo rm -rf /home/light/light_docs_dev_staging'"
- ssh -tt 'light@5.75.206.84' 'sudo rm -rf /home/light/light_docs_dev_staging'