Skip to content

Build Pipeline

Build Pipeline #61

Workflow file for this run

name: Build Pipeline
on: [push, pull_request, workflow_dispatch]
jobs:
Palladio-Core-PCM:
uses: PalladioSimulator/Palladio-Build-ActionsPipeline/.github/workflows/[email protected]
with:
use-display-output: true
no-caching: true
deploy-updatesite: 'releng/org.palladiosimulator.pcm.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 }}