diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2020-06-25 10:36:19 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-06-25 10:36:19 +0200 |
commit | f9462fe6e47d4f729ca381d0ba44083138ece6b5 (patch) | |
tree | 18eaeaf7da8bbc8be51bcb50c3a323396af12a23 /ext/standard/php_array.h | |
parent | f37138d2c5408916ed80839b94431d268b7fe24f (diff) | |
download | php-git-f9462fe6e47d4f729ca381d0ba44083138ece6b5.tar.gz |
Increase timeout on sanitizer job
This is starting to hit the limit. Let it run for 3:30 hours.
Diffstat (limited to 'ext/standard/php_array.h')
0 files changed, 0 insertions, 0 deletions