Add workflow for dev-portal deployment

This commit is contained in:
Raphaël Walther
2023-04-17 10:39:34 +02:00
committed by Jon Häggblad
parent a14b4dc80c
commit 55fd7b8890
+1 -1
View File
@@ -39,7 +39,7 @@ jobs:
env:
SSH_PRIVATE_KEY: ${{ secrets.CI_WWW_SSH_PRIVATE_KEY }}
ARGS: "-rltgoDzvO --delete"
SOURCE: "documentation/dev/portal/book/html/"
SOURCE: "documentation/dev-portal/book/html/"
REMOTE_HOST: ${{ secrets.CI_WWW_REMOTE_HOST }}
REMOTE_USER: ${{ secrets.CI_WWW_REMOTE_USER }}
TARGET: ${{ secrets.CI_WWW_REMOTE_TARGET }}/dev-portal-${{ env.GITHUB_REF_SLUG }}