diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 0e91625..7e77a4a 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -8,6 +8,7 @@ jobs: with: use-display-output: true deploy-updatesite: 'releng/org.palladiosimulator.generator.fluent.updatesite/target/repository' + skip-branch-deploy: false secrets: SERVER_SSH_KEY: ${{ secrets.DEPLOYMENT_SERVER_SSH_KEY }} REMOTE_HOST: ${{ secrets.DEPLOYMENT_REMOTE_HOST }} diff --git a/releng/org.palladiosimulator.generator.fluent.targetplatform/org.palladiosimulator.generator.fluent.targetplatform.target b/releng/org.palladiosimulator.generator.fluent.targetplatform/org.palladiosimulator.generator.fluent.targetplatform.target index 458f085..5d9dd21 100644 --- a/releng/org.palladiosimulator.generator.fluent.targetplatform/org.palladiosimulator.generator.fluent.targetplatform.target +++ b/releng/org.palladiosimulator.generator.fluent.targetplatform/org.palladiosimulator.generator.fluent.targetplatform.target @@ -24,16 +24,8 @@ - - - - + + - + +