ci: bump dorny/paths-filter to v4.0.1 (node24)

v3.0.2 targets Node.js 20, which GitHub Actions runners now force onto
Node.js 24 with a deprecation warning. v4.0.1 is the node24 rebuild
(only change v3.0.3->v4.0.0 was the runtime bump; the filter API is
unchanged), silencing the warning on the detect-changes job.

Co-Authored-By: Claude <noreply@anthropic.com>
Signed-off-by: Andrei Kvapil <kvapss@gmail.com>

Author: kvaps

.github/workflows/pull-request.yml

@@ -47,7 +47,7 @@ jobs:
     outputs:
       code: ${{ steps.filter.outputs.code }}
     steps:
-      - uses: dorny/paths-filter@de90cc6fb38fc0963ad72b210f1f284cd68cea36 # v3.0.2
+      - uses: dorny/paths-filter@fbd0ab8f3e69293af611ebaee6363fc25e6d187d # v4.0.1
         id: filter
         with:
           filters: |