GH: Fix pages deployment

This commit is contained in:
Alessandro Pignotti 2024-10-15 12:25:25 +02:00
parent 96805eca37
commit 97fb17dfe5

View file

@ -190,7 +190,7 @@ jobs:
WEBVM_MODE=github npm run build WEBVM_MODE=github npm run build
# Move required files for gh-pages deployment to the deployment directory $DEPLOY_DIR. # Move required files for gh-pages deployment to the deployment directory $DEPLOY_DIR.
- run: sudo mv build $DEPLOY_DIR - run: sudo mv build/* $DEPLOY_DIR/
# We generate index.list files for our httpfs to function properly. # We generate index.list files for our httpfs to function properly.
- name: make index.list - name: make index.list