Add workflow to check pull requests in JDT UI that break JDT-LS.

Signed-off-by: Roland Grunberg <[email protected]>

.github/workflows/check-breaking-prs.yml

@@ -0,0 +1,22 @@
+name: check-breaking-prs
+
+on:
+  schedule:
+    - cron: '0 8 * * *'
+  workflow_dispatch:
+
+jobs:
+  pr-verify-job:
+    runs-on: ubuntu-latest
+    env:
+        GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+    steps:
+      - name:
+        run: |
+          PRS=`gh --repo=eclipse-jdt/eclipse.jdt.ui pr list --json number | jq .[].number`
+          for number in `echo ${PRS}`; do
+            ret=`gh --repo=eclipse-jdt/eclipse.jdt.ui pr view ${number} --json files | jq .files[].path | grep 'org.eclipse.jdt.core.manipulation'`
+            if [ ${ret} -ne 0 ];
+              echo ${number} touches jdt.core.manipulation
+            fi
+          done