Skip to content
Pull-Request Checks

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

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. #1357

Workflow file for this run

.github/workflows/pr-checks.yml at 678c661
# 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]