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

Merge branch 'PHP-8.3' into PHP-8.4

Browse source 
* PHP-8.3:
  Increase CircleCI no_output_timeout
This commit is contained in:
Ilija Tovilo 2025-03-10 13:38:16 +01:00
commit dfdf52eb9f
No known key found for this signature in database
GPG key ID: 886A57EEE4DC754B
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
.circleci/config.yml
View file

@ -153,6 +153,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