clones/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2024-09-21 09:57:23 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'PHP-8.3'

Browse Source
This commit is contained in:
Jakub Zelenka 2023-11-17 12:11:54 +00:00
commit 21596bfeb9
No known key found for this signature in database
GPG Key ID: 1C0779DC5C0A9DE4
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
travis/test.sh
View File

@ -4,6 +4,7 @@ set -ex
# ARM64 CI reports nproc=32, which is excessive.
if [ -z "$ARM64" ]; then export JOBS=$(nproc); else export JOBS=16; fi
export SKIP_SLOW_TESTS=1
export SKIP_IO_CAPTURE_TESTS=1
./sapi/cli/php run-tests.php -P \
-g "FAIL,BORK,LEAK" --offline --show-diff --show-slow 1000 \