Merge branch 'PHP-8.5'

* PHP-8.5:
  Include `PHP-8.5` branch in `.github/workflows/push.yml`

Author: TimWolla

.github/workflows/push.yml

@@ -16,6 +16,7 @@ on:
       - PHP-8.2
       - PHP-8.3
       - PHP-8.4
+      - PHP-8.5
       - master
   pull_request:
     paths-ignore: *ignore_paths