mirror of
https://github.com/php/php-src.git
synced 2024-12-21 07:51:23 +08:00
4c717abad2
Use the new 18.04 for the ones where the build succeeded and the previous 16.04 where it didn't. |
||
---|---|---|
.. | ||
apt.yml | ||
job.yml | ||
test.yml |