Skip to content
Snippets Groups Projects

Update CI pipeline

Merged Karel van Klink requested to merge develop into main
1 file
+ 1
1
Compare changes
  • Side-by-side
  • Inline
+ 1
1
@@ -73,4 +73,4 @@ publish-prod-1:
script:
- rm -rf /var/www/gap-docs/*
- mv $CI_PROJECT_DIR/docs/build/html/* /var/www/gap-docs/
- mv $CI_PROJECT_DIR/public/* /var/www/gap-docs/
Loading