Merge branch 'PHP-8.2' into PHP-8.3

iluuu1994 · iluuu1994 · commit 6d0b27d25cf8 · 2023-09-04T13:58:38.000+02:00
* PHP-8.2:
  [skip ci] Backport GA paths-ignore changes
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -28,6 +28,9 @@ on:
       - '**/README.*'
       - CONTRIBUTING.md
       - CODING_STANDARDS.md
+      - .cirrus.yml
+      - .travis.yml
+      - travis/*
     branches:
       - '**'
 permissions:
