Skip to content

Merge AllPDEMinimalTests into AllPDETests and merge minimal tests #500

Merge AllPDEMinimalTests into AllPDETests and merge minimal tests

Merge AllPDEMinimalTests into AllPDETests and merge minimal tests #500

Workflow file for this run

name: Continuous Integration
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
jobs:
check-freeze-period:
if: github.event_name == 'pull_request'
uses: eclipse-platform/eclipse.platform.releng.aggregator/.github/workflows/verifyFreezePeriod.yml@master
check-merge-commits:
if: github.event_name == 'pull_request'
uses: eclipse-platform/eclipse.platform.releng.aggregator/.github/workflows/checkMergeCommits.yml@master
build:
uses: eclipse-platform/eclipse.platform.releng.aggregator/.github/workflows/mavenBuild.yml@master