Skip to content

Build Pipeline

Build Pipeline #60

Workflow file for this run

name: Build Pipeline
on: [push, pull_request, workflow_dispatch]
jobs:
Palladio-Supporting-WorkflowEngine:
uses: PalladioSimulator/Palladio-Build-ActionsPipeline/.github/workflows/build.yml@v3.4
with:
use-display-output: true
no-caching: true
deploy-updatesite: 'releng/de.uka.ipd.sdq.workflow.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 }}