File tree Expand file tree Collapse file tree 2 files changed +2
-2
lines changed
Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change 2020 shell : bash
2121 run : echo "DEPLOY_PATH=$( echo '${{ secrets.DEPLOYMENT_REMOTE_TARGET }}/extended-java-model-parser-and-printer' )" >> $GITHUB_ENV
2222 - name : Deploy to Updatesite
23- uses : PalladioSimulator/Palladio-Build-ActionsPipeline-Deployment@v3
23+ uses : PalladioSimulator/Palladio-Build-ActionsPipeline-Deployment@master
2424 with :
2525 remote-user : ${{ secrets.DEPLOYMENT_REMOTE_USER }}
2626 remote-host : ${{ secrets.DEPLOYMENT_REMOTE_HOST }}
Original file line number Diff line number Diff line change 2525 shell : bash
2626 run : echo "DEPLOY_PATH=$( echo '${{ secrets.DEPLOYMENT_REMOTE_TARGET }}/extended-java-model-parser-and-printer' )" >> $GITHUB_ENV
2727 - name : Release Update Site
28- uses : PalladioSimulator/Palladio-Build-ActionsPipeline-Deployment@v3
28+ uses : PalladioSimulator/Palladio-Build-ActionsPipeline-Deployment@master
2929 with :
3030 remote-user : ${{ secrets.DEPLOYMENT_REMOTE_USER }}
3131 remote-host : ${{ secrets.DEPLOYMENT_REMOTE_HOST }}
You can’t perform that action at this time.
0 commit comments