From 3426b17dadd312fd1603e1ba9fe29a941d15c4cf Mon Sep 17 00:00:00 2001
From: "Christoph M. Becker" <cmbecker69@gmx.de>
Date: Mon, 30 Sep 2024 23:53:32 +0200
Subject: [PATCH] [skip ci] Disable Xdebug for now

It currently fails already during configure for PHP >= 8.5.0.
---
 .github/workflows/nightly.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index d23d9376fc70f..b2da688a82080 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -876,6 +876,7 @@ jobs:
           repository: phpredis/phpredis
           path: redis
       - name: git checkout xdebug
+        if: false
         uses: actions/checkout@v4
         with:
           repository: xdebug/xdebug
@@ -937,6 +938,7 @@ jobs:
           ./configure --prefix=/opt/php --with-php-config=/opt/php/bin/php-config
           make -j$(/usr/bin/nproc)
       - name: build xdebug
+        if: false
         run: |
           cd xdebug
           /opt/php/bin/phpize