Skip to content

Find/Replace overlay: add a search- and replace- history #3372

Find/Replace overlay: add a search- and replace- history

Find/Replace overlay: add a search- and replace- history #3372

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