Try paths-ignore (& for anchoring and * for aliasing)

The list of pathnames/patterns was the same.

Try because IIRC ms-gh-actions support it, but try first.

Author: hakre

.github/workflows/push.yml

@@ -1,7 +1,7 @@
 name: Push
 on:
   push:
-    paths-ignore:
+    paths-ignore: &paths-ignore
       - docs/**
       - NEWS
       - UPGRADING
@@ -18,16 +18,7 @@ on:
       - PHP-8.4
       - master
   pull_request:
-    paths-ignore:
-      - docs/**
-      - NEWS
-      - UPGRADING
-      - UPGRADING.INTERNALS
-      - '**/README.*'
-      - CONTRIBUTING.md
-      - CODING_STANDARDS.md
-      - .cirrus.yml
-      - .circleci/**
+    paths-ignore: *paths-ignore
     branches:
       - '**'
   workflow_dispatch: ~