Skip to content
Pull-Request Checks

Spin event loop to process pending UI updates before checking the pasted content on the Text. #1362

Sign in to view logs

Spin event loop to process pending UI updates before checking the pasted content on the Text.

Spin event loop to process pending UI updates before checking the pasted content on the Text. #1362

Workflow file for this run

.github/workflows/pr-checks.yml at 3aadcfd
# Fast running checks for pull-requests
name: Pull-Request Checks
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
on:
pull_request:
branches: [ master ]
jobs:
check-freeze-period:
uses: eclipse-platform/eclipse.platform.releng.aggregator/.github/workflows/verifyFreezePeriod.yml@master
check-merge-commits:
uses: eclipse-platform/eclipse.platform.releng.aggregator/.github/workflows/checkMergeCommits.yml@master
check-versions:
uses: eclipse-platform/eclipse.platform.releng.aggregator/.github/workflows/checkVersions.yml@master
with:
botName: Eclipse Platform Bot
botMail: [email protected]