diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2020-09-21 12:42:48 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-09-21 12:42:48 +0200 |
commit | 9f074a5c31c6fbed8de852909a294958ae32eb9d (patch) | |
tree | 9d9d5b3cfd4033b592f4d6d8f47070d4b88d94dc /Zend/zend_interfaces.c | |
parent | c5f93d191e2bf5a9def069cf9701b5eb6e297a74 (diff) | |
download | php-git-9f074a5c31c6fbed8de852909a294958ae32eb9d.tar.gz |
Move arm64 job to cron
As we're branching soon, reduce the number of jobs we run on each
commit, so that Travis can keep up with its role as the fast
feedback build.
Diffstat (limited to 'Zend/zend_interfaces.c')
0 files changed, 0 insertions, 0 deletions