Skip to content

Short-term fix of build runners #9

Short-term fix of build runners

Short-term fix of build runners #9

Workflow file for this run

name: Build Pipeline
on: [push, pull_request, workflow_dispatch]
jobs:
Palladio-Example-Models:
uses: PalladioSimulator/Palladio-Build-ActionsPipeline/.github/workflows/[email protected]
with:
use-display-output: true
no-caching: true
runner-label: ubuntu-latest
deploy-updatesite: 'target/deploy'
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 }}