ci: skip linux/windows tests for non-source changes

Add setup job to detect source changes (modules/, pom.xml, .mvn/ only).
Gate build jobs with if: needs.setup.outputs.source-changed == 'true'
to skip expensive platform-specific tests when only .github/ or docs
files changed.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Author: Picazsoo

.github/workflows/linux.yaml

@@ -11,9 +11,40 @@ on:
       - '[5-9]+.[0-9]+.x'
 
 jobs:
+  setup:
+    name: Detect source changes
+    runs-on: ubuntu-latest
+    outputs:
+      source-changed: ${{ steps.check.outputs.source-changed }}
+    steps:
+      - uses: actions/checkout@v5
+        with:
+          fetch-depth: 0
+      - id: check
+        shell: bash
+        env:
+          BASE_SHA: ${{ github.event.pull_request.base.sha || github.event.before }}
+          HEAD_SHA: ${{ github.sha }}
+        run: |
+          if [[ "$BASE_SHA" == "0000000000000000000000000000000000000000" ]] || [[ -z "$BASE_SHA" ]]; then
+            BASE_SHA=$(git rev-parse HEAD~1 2>/dev/null || echo "")
+          fi
+          if [[ -n "$BASE_SHA" ]]; then
+            CHANGED=$(git diff --name-only "$BASE_SHA" "$HEAD_SHA" 2>/dev/null || git diff --name-only HEAD~1 HEAD)
+          else
+            CHANGED=$(git diff --name-only HEAD~1 HEAD)
+          fi
+          if echo "$CHANGED" | grep -qE '^(modules/|pom\.xml|\.mvn/)'; then
+            echo "source-changed=true" >> "$GITHUB_OUTPUT"
+          else
+            echo "source-changed=false" >> "$GITHUB_OUTPUT"
+          fi
+
   build:
     name: 'Build: JDK ${{ matrix.java }} (${{ matrix.os }})'
     runs-on: ${{ matrix.os }}
+    needs: setup
+    if: needs.setup.outputs.source-changed == 'true'
     strategy:
       matrix:
         java: [11, 17]

.github/workflows/windows.yaml

@@ -11,9 +11,40 @@ on:
       - '[5-9]+.[0-9]+.x'
 
 jobs:
+  setup:
+    name: Detect source changes
+    runs-on: ubuntu-latest
+    outputs:
+      source-changed: ${{ steps.check.outputs.source-changed }}
+    steps:
+      - uses: actions/checkout@v5
+        with:
+          fetch-depth: 0
+      - id: check
+        shell: bash
+        env:
+          BASE_SHA: ${{ github.event.pull_request.base.sha || github.event.before }}
+          HEAD_SHA: ${{ github.sha }}
+        run: |
+          if [[ "$BASE_SHA" == "0000000000000000000000000000000000000000" ]] || [[ -z "$BASE_SHA" ]]; then
+            BASE_SHA=$(git rev-parse HEAD~1 2>/dev/null || echo "")
+          fi
+          if [[ -n "$BASE_SHA" ]]; then
+            CHANGED=$(git diff --name-only "$BASE_SHA" "$HEAD_SHA" 2>/dev/null || git diff --name-only HEAD~1 HEAD)
+          else
+            CHANGED=$(git diff --name-only HEAD~1 HEAD)
+          fi
+          if echo "$CHANGED" | grep -qE '^(modules/|pom\.xml|\.mvn/)'; then
+            echo "source-changed=true" >> "$GITHUB_OUTPUT"
+          else
+            echo "source-changed=false" >> "$GITHUB_OUTPUT"
+          fi
+
   build:
     name: Build
     runs-on: windows-latest
+    needs: setup
+    if: needs.setup.outputs.source-changed == 'true'
     strategy:
       matrix:
         java: [11, 17]