From 39afa46f54414cbf17ecab901cacffe7b13bc711 Mon Sep 17 00:00:00 2001 From: Ilija Tovilo Date: Wed, 18 Feb 2026 14:03:53 +0100 Subject: [PATCH] [skip ci] Disable redis in pecl build --- .github/workflows/nightly.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml index eeb961b9853..4fffc701f92 100644 --- a/.github/workflows/nightly.yml +++ b/.github/workflows/nightly.yml @@ -834,6 +834,7 @@ jobs: repository: php-memcached-dev/php-memcached path: memcached - name: git checkout redis + if: ${{ false }} uses: actions/checkout@v6 with: repository: phpredis/phpredis @@ -894,6 +895,7 @@ jobs: ./configure --prefix=/opt/php --with-php-config=/opt/php/bin/php-config make -j$(/usr/bin/nproc) - name: build redis + if: ${{ false }} run: | cd redis /opt/php/bin/phpize