Skip to content

Build Pipeline

Build Pipeline #71

Workflow file for this run

name: Build Pipeline
on: [push, pull_request, workflow_dispatch]
jobs:
Palladio-Addons-ServiceLevelObjectives:
uses: PalladioSimulator/Palladio-Build-ActionsPipeline/.github/workflows/build.yml@master
with:
use-display-output: true
no-caching: true
deploy-updatesite: 'releng/org.palladiosimulator.servicelevelobjectives.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 }}