1
0
mirror of https://github.com/php/php-src.git synced 2026-03-24 00:02:20 +01:00

Merge branch 'PHP-8.5'

* PHP-8.5:
  Include `PHP-8.5` branch in `.github/workflows/push.yml`
This commit is contained in:
Tim Düsterhus
2025-10-02 11:26:44 +02:00

View File

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