archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-15 13:38:49 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Increase CircleCI no_output_timeout

Browse source 
Closes GH-18002
This commit is contained in:
Ilija Tovilo 2025-03-08 15:21:18 +01:00
parent b0858427aa
commit ee7fcf2a07
No known key found for this signature in database
GPG key ID: 886A57EEE4DC754B
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.circleci/config.yml
View file

@ -166,6 +166,7 @@ jobs:
`#--enable-werror` `#--enable-werror`
- run: - run:
name: make name: make
no_output_timeout: 30m
command: make -j2 > /dev/null command: make -j2 > /dev/null
- run: - run:
name: make install name: make install
@ -177,6 +178,7 @@ jobs:
echo opcache.protect_memory=1 >> /etc/php.d/opcache.ini echo opcache.protect_memory=1 >> /etc/php.d/opcache.ini
- run: - run:
name: Test name: Test
no_output_timeout: 30m
command: | command: |
sapi/cli/php run-tests.php \ sapi/cli/php run-tests.php \
-d zend_extension=opcache.so \ -d zend_extension=opcache.so \