Skip to content

Commit

Permalink
Corrected the use of some variables in the pipeline.
Browse files Browse the repository at this point in the history
  • Loading branch information
HansMartinA committed Jul 24, 2023
1 parent aca5e75 commit 604d7b7
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 8 deletions.
8 changes: 4 additions & 4 deletions .github/workflows/nightly_on_develop.yml
Original file line number Diff line number Diff line change
Expand Up @@ -22,10 +22,10 @@ jobs:
- name: Deploy to Updatesite
uses: PalladioSimulator/Palladio-Build-ActionsPipeline-Deployment@v3
with:
remote-user: ${{ secrets.REMOTE_USER }}
remote-host: ${{ secrets.REMOTE_HOST }}
remote-port: ${{ secrets.REMOTE_PORT }}
server-ssh-key: ${{ secrets.SERVER_SSH_KEY }}
remote-user: ${{ secrets.DEPLOYMENT_REMOTE_USER }}
remote-host: ${{ secrets.DEPLOYMENT_REMOTE_HOST }}
remote-port: ${{ secrets.DEPLOYMENT_REMOTE_PORT }}
server-ssh-key: ${{ secrets.DEPLOYMENT_SERVER_SSH_KEY }}
local-source: './p2-jamopp/*'
remote-target: '${{ env.DEPLOY_PATH }}/nightly'
release-version: '0.0.0'
Expand Down
8 changes: 4 additions & 4 deletions .github/workflows/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -27,10 +27,10 @@ jobs:
- name: Release Update Site
uses: PalladioSimulator/Palladio-Build-ActionsPipeline-Deployment@v3
with:
remote-user: ${{ secrets.REMOTE_USER }}
remote-host: ${{ secrets.REMOTE_HOST }}
remote-port: ${{ secrets.REMOTE_PORT }}
server-ssh-key: ${{ secrets.SERVER_SSH_KEY }}
remote-user: ${{ secrets.DEPLOYMENT_REMOTE_USER }}
remote-host: ${{ secrets.DEPLOYMENT_REMOTE_HOST }}
remote-port: ${{ secrets.DEPLOYMENT_REMOTE_PORT }}
server-ssh-key: ${{ secrets.DEPLOYMENT_SERVER_SSH_KEY }}
local-source: './jamopp.p2/target/repository/*'
remote-target: '${{ env.DEPLOY_PATH }}/release/${{ inputs.release-version }}'
release-version: ${{ inputs.release-version }}
Expand Down

0 comments on commit 604d7b7

Please sign in to comment.