mirror of
https://github.com/php/php-src.git
synced 2025-08-15 21:48:51 +02:00
[skip ci] Disable pecl redis build
This commit is contained in:
parent
fb4878e5a7
commit
c6a2f2a8ce
1 changed files with 4 additions and 0 deletions
4
.github/workflows/nightly.yml
vendored
4
.github/workflows/nightly.yml
vendored
|
@ -792,6 +792,8 @@ 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
|
||||
|
@ -853,6 +855,8 @@ 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
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue