[core] Ignore unrelated folders from github actions (#35028)

.github/workflows/ci-check.yml

@@ -0,0 +1,22 @@
+# This workflow is a workaround to make the github check "Successful"
+# for the ci.yml, otherwise the changes in `docs/**` or `examples/**` won't be considered completed for github checks.
+#
+# Ref: https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/defining-the-mergeability-of-pull-requests/troubleshooting-required-status-checks#handling-skipped-but-required-checks
+name: CI
+
+on:
+  push:
+    branches-ignore:
+      - 'renovate/**'
+  pull_request:
+    paths:
+      - 'docs/**'
+      - 'examples/**'
+
+permissions: {}
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - run: 'echo "No build required"'

.github/workflows/ci.yml

@@ -7,6 +7,9 @@ on:
       # We don't need to run CI twice (push+pull_request)
       - 'renovate/**'
   pull_request:
+    paths-ignore:
+      - 'docs/**'
+      - 'examples/**'
 
 permissions: {}