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

[skip ci] Disable redis in pecl build

This commit is contained in:
Ilija Tovilo
2026-02-18 14:03:53 +01:00
parent 431dbabbfd
commit 39afa46f54

View File

@@ -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