From 77af4780ccbbc96a2f85a3102d45a15f5e26f9c9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tim=20D=C3=BCsterhus?= <tim@tideways-gmbh.com>
Date: Thu, 2 Oct 2025 11:26:15 +0200
Subject: [PATCH] Include `PHP-8.5` branch in `.github/workflows/push.yml`

---
 .github/workflows/push.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index b3dc70d042e..525569f56b9 100644
--- a/.github/workflows/push.yml
+++ b/.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