diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml index f0a31f9151e90..b2da688a82080 100644 --- a/.github/workflows/nightly.yml +++ b/.github/workflows/nightly.yml @@ -871,13 +871,12 @@ jobs: repository: php-memcached-dev/php-memcached path: memcached - name: git checkout redis - # Currently fails to build - if: false uses: actions/checkout@v4 with: repository: phpredis/phpredis path: redis - name: git checkout xdebug + if: false uses: actions/checkout@v4 with: repository: xdebug/xdebug @@ -933,14 +932,13 @@ jobs: ./configure --prefix=/opt/php --with-php-config=/opt/php/bin/php-config make -j$(/usr/bin/nproc) - name: build redis - # Currently fails to build - if: false run: | cd redis /opt/php/bin/phpize ./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