Skip to content

point to new GitHub wiki #47

point to new GitHub wiki

point to new GitHub wiki #47

Workflow file for this run

name: Build Pipeline
on: [push, pull_request, workflow_dispatch]
jobs:
Palladio-Editors-Commons:
uses: PalladioSimulator/Palladio-Build-ActionsPipeline/.github/workflows/build.yml@v3.4
with:
use-display-output: true
no-caching: true
deploy-updatesite: 'releng/org.palladiosimulator.editors-commons.updatesite/target/repository'
secrets:
SERVER_SSH_KEY: ${{ secrets.DEPLOYMENT_SERVER_SSH_KEY }}
REMOTE_HOST: ${{ secrets.DEPLOYMENT_REMOTE_HOST }}
REMOTE_PORT: ${{ secrets.DEPLOYMENT_REMOTE_PORT }}
REMOTE_USER: ${{ secrets.DEPLOYMENT_REMOTE_USER }}
REMOTE_TARGET: ${{ secrets.DEPLOYMENT_REMOTE_TARGET }}